Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators | Paper Citation Record

Observation dc5c43ca-31d0-4235-b62e-8a15652d6fc2 · outbound

This paper cites Arthur, Paul Merolla, Nabil Imam, Yutaka Y.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Arthur, Paul Merolla, Nabil Imam, Yutaka Y

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T16:22:33.897792Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d6396b47-5290-4b6e-9d36-5e7a8f3d7f22 · outbound

This paper cites Quantum Optimization Algo- rithm for LEO Satellite Communications Based on Cell-Free Massive MIM O.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Quantum Optimization Algo- rithm for LEO Satellite Communications Based on Cell-Free Massive MIM O

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.447709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b090677a-0819-4691-988a-de9379d47b30 · outbound

This paper cites Zahangir Alom, Brian Van Essen, Adam T.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Zahangir Alom, Brian Van Essen, Adam T

Reference 3

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T16:22:33.358581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1aeb448e-6367-401b-972b-17d612124383 · outbound

This paper cites Satellite Adaptive Onboard Beamforming Using Neuromorphic Processors.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Satellite Adaptive Onboard Beamforming Using Neuromorphic Processors

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T16:22:33.873514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d31080d3-96c2-45b1-b2df-a55c4337cf3b · outbound

This paper cites Reducing SAT to Max2SAT.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Reducing SAT to Max2SAT

Reference 5

Resolution: verified exact; doi, observed 2026-08-11T16:22:32.051852Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ee8daa4f-265e-4cee-87b8-1d0cb03832bd · outbound

This paper cites SAT, Gadgets, Max2XOR, and Quantum Annealers.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators SAT, Gadgets, Max2XOR, and Quantum Annealers

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-11T16:22:32.024338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ec5b79ba-c548-4b04-949f-0197b7424586 · outbound

This paper cites Structure-Guided Cube-and -Conquer for MaxSAT.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Structure-Guided Cube-and -Conquer for MaxSAT

Reference 7

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.983321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1dba7df4-b8f1-46a9-b8f1-e85a33b46374 · outbound

This paper cites Chudak, William G.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Chudak, William G

Reference 8

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.958438Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation bf835ddf-cf62-4488-9283-dd23de64a644 · outbound

This paper cites Bodlaender, Paul S.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Bodlaender, Paul S

Reference 9

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.861053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0202ef93-0060-49c8-b4c0-6ede3053b5f3 · outbound

This paper cites Bodlaender, Arie M.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Bodlaender, Arie M

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T16:22:33.847199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 998e558c-bf11-45cd-b079-d0187ea61607 · outbound

This paper cites On Compiling CNFs into Structured Deterministic DNNFs.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators On Compiling CNFs into Structured Deterministic DNNFs

Reference 11

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.765937Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation aae2f160-ac86-4cbe-9535-4ad7535b6b6f · outbound

This paper cites Tractable QBF by Knowledge C ompilation.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Tractable QBF by Knowledge C ompilation

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.543656Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87553524-2c7b-44f9-9acf-da61c4c1ad25 · outbound

This paper cites A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chime ra Graph.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chime ra Graph

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T16:22:33.818192Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6146a360-18af-4a7d-842d-39033954a37e · outbound

This paper cites Comparing QUBO Models for Quantum Annealing : Integer Encodings for Permutation Problems.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Comparing QUBO Models for Quantum Annealing : Integer Encodings for Permutation Problems

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T16:22:33.793365Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 30cccea8-969c-4da9-a0af-f479bc94fe1b · outbound

This paper cites Evalua ting Ising Processing Units with Inte- ger Programming.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Evalua ting Ising Processing Units with Inte- ger Programming

Reference 16

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.627585Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d3a193b5-8287-47dd-bfdd-bcad3af0c137 · outbound

This paper cites Fomin, Lukasz Kowalik, Daniel Lokshtan ov, D´ aniel Marx, Marcin Pilipczuk, Michal Pilipczuk, and Saket Saurabh.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Fomin, Lukasz Kowalik, Daniel Lokshtan ov, D´ aniel Marx, Marcin Pilipczuk, Michal Pilipczuk, and Saket Saurabh

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.595356Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73fa2c14-6886-4f99-ba27-0942b3e0a5cf · outbound

This paper cites Patton, Catherine D.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Patton, Catherine D

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T16:22:33.769349Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 629d3d36-5e78-4150-ae52-508b71734929 · outbound

This paper cites Fonseca Guerra, Prasad Joshi, Philipp Plank, and Sumedh R.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Fonseca Guerra, Prasad Joshi, Philipp Plank, and Sumedh R

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.632293Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2006a044-88ad-4793-bd18-815da8189713 · outbound

This paper cites an unresolved cited work.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.639590Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2823f4b3-ab93-4761-9b91-35a66a657fb5 · outbound

This paper cites Deep Space Network Scheduling Using Quan tum Annealing.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Deep Space Network Scheduling Using Quan tum Annealing

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T16:22:33.747387Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5fbd7aa1-e880-412a-a746-d4233b0ff31f · outbound

This paper cites RC2: an Eﬃcient MaxSAT Solver.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators RC2: an Eﬃcient MaxSAT Solver

Reference 22

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.449923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 203f78b9-0c99-4ebf-afc8-e0f05b448c31 · outbound

This paper cites Quantum Annealing with Manufactured Spins.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Quantum Annealing with Manufactured Spins

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T16:22:33.719262Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5c1f6278-afdc-442d-81d3-719802a92008 · outbound

This paper cites Eﬃcient and Scalable Architecture for Multiple-Chip Implementation of Simulated Bifurcat ion Machines.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Eﬃcient and Scalable Architecture for Multiple-Chip Implementation of Simulated Bifurcat ion Machines

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.667463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e8734a0-f807-4006-a8b6-0d9716ee9a25 · outbound

This paper cites an unresolved cited work.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.672053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d825be96-0b78-4784-9b83-7a440876c979 · outbound

This paper cites Quantum Annealing-Based Software Components: An Exper- imental Case Study with SAT Solving.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Quantum Annealing-Based Software Components: An Exper- imental Case Study with SAT Solving

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.677607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df8962a7-8c15-477c-a231-425870596402 · outbound

This paper cites QBF as an Altern ative to Courcelle’s Theorem.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators QBF as an Altern ative to Courcelle’s Theorem

Reference 27

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.399517Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation eca60174-7761-4c9a-bf78-19cd9e1eedbf · outbound

This paper cites Lower bounds based on the Exponential Time Hypothesis.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Lower bounds based on the Exponential Time Hypothesis

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T16:22:33.698752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0cd80b17-b484-4eef-8451-32ec9033b305 · outbound

This paper cites Boolean Lexicographic Op- timization: Algorithms & Applications.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Boolean Lexicographic Op- timization: Algorithms & Applications

Reference 29

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.379168Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation dd642ee9-3551-4f18-9568-281a18a70881 · outbound

This paper cites In Progress in Artiﬁcial Intelligence - 18th EPIA Conference on Artiﬁcial Intelligence, EPIA 2017, Porto, Portugal, Sep tember 5-8, 2017, Proceedings , pages 681–694, 2017.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators In Progress in Artiﬁcial Intelligence - 18th EPIA Conference on Artiﬁcial Intelligence, EPIA 2017, Porto, Portugal, Sep tember 5-8, 2017, Proceedings , pages 681–694, 2017

Reference 30

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.347089Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 707c7067-d345-412e-92e3-521d5dfd312f · outbound

This paper cites Manquinho, and Inˆ es Lynce.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Manquinho, and Inˆ es Lynce

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.756959Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ba7b301-3802-442c-b748-587a3ba8c64c · outbound

This paper cites Digital Annealer for High-Speed Solving of Combi- natorial Optimization Problems and its Applications.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Digital Annealer for High-Speed Solving of Combi- natorial Optimization Problems and its Applications

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.766069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22bae016-ab00-4811-9091-ef4762f694f4 · outbound

This paper cites Mniszewski.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Mniszewski

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.797682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 420bc505-03c4-4ac6-a257-2aa3428bb378 · outbound

This paper cites On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming

Reference 35

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T16:22:32.330970Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ec1cd4d2-e4f7-42d1-ac5b-1008722dae9e · outbound

This paper cites A Survey Examining Neuromorphic Architecture in Space and Challenges from Radiation.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators A Survey Examining Neuromorphic Architecture in Space and Challenges from Radiation

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.844117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d35f7a1f-32bb-408d-bb79-354dde9e9b51 · outbound

This paper cites Algorithmic QUBO Formulations for k-SAT and Hamiltonian Cycles.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Algorithmic QUBO Formulations for k-SAT and Hamiltonian Cycles

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.856423Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1289aaa6-77fc-4372-bcc9-405c94b0078f · outbound

This paper cites Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.861447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7498b2dd-60fd-4a1f-bdc8-2651007f8d17 · outbound

This paper cites Energ y-Eﬃcient On-Board Radio Re- source Management for Satellite Communications via Neuromorphic C omputing.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Energ y-Eﬃcient On-Board Radio Re- source Management for Satellite Communications via Neuromorphic C omputing

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T16:22:33.672061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 72dadc3b-d6a3-4fcc-a365-0c11b46d1a55 · outbound

This paper cites UWrMaxSat: Eﬃcient Solver for MaxSAT and Ps eudo-Boolean Problems.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators UWrMaxSat: Eﬃcient Solver for MaxSAT and Ps eudo-Boolean Problems

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.890459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4561cee1-822c-4550-8cae-7640db522f03 · outbound

This paper cites Imple- menting 3-SAT Gadgets for Quantum Annealers with Random Instan ces.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Imple- menting 3-SAT Gadgets for Quantum Annealers with Random Instan ces

Reference 41

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.255703Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6ac235e1-f00d-4c9e-a877-a6f51568e5b4 · outbound

This paper cites Max 2-SAT with up to 108 Qubits.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Max 2-SAT with up to 108 Qubits

Reference 42

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.226796Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 8760efd1-6853-4964-a9fc-d2480fb77067 · outbound

This paper cites Schuman, Shruti R.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Schuman, Shruti R

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.927218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60e4dc18-39ba-4ab7-8e6b-4748e2d11e26 · outbound

This paper cites A Faster Algorithm for P ropositional Model Counting Param- eterized by Incidence Treewidth.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators A Faster Algorithm for P ropositional Model Counting Param- eterized by Incidence Treewidth

Reference 44

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.173486Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d5291174-a207-44d3-9f7d-e6132019ca1f · outbound

This paper cites Sorkin, Madhu Sudan, and David P.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Sorkin, Madhu Sudan, and David P

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.938831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c038ee82-6e5c-4671-abfe-d69f21d9a994 · outbound

This paper cites Quantum Annealing-Based Algorithm for Efficient Coalition Formation Among LEO Satellites.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Quantum Annealing-Based Algorithm for Efficient Coalition Formation Among LEO Satellites

Reference 46

Resolution: verified exact; local_arxiv, observed 2026-08-11T16:22:31.096952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 32491d28-2ea6-408a-8180-4339cdd4a28f · outbound

This paper cites Ollivier-Ricci Cu rvature and Fast Approxima- tion to Treewidth in Embeddability of QUBO Problems.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Ollivier-Ricci Cu rvature and Fast Approxima- tion to Treewidth in Embeddability of QUBO Problems

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T16:22:33.644549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation dd166008-e6d1-4e45-9b0e-4cbbdbbd2cdf · outbound

This paper cites SATQUBOLIB: A Python Framework for Creating and B enchmarking (Max- )3SAT QUBOs.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators SATQUBOLIB: A Python Framework for Creating and B enchmarking (Max- )3SAT QUBOs

Reference 48

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.034464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 63bc626f-23c8-49ec-bc57-3720fa3538d9 · outbound

This paper cites Inﬂuence of Diﬀerent 3SAT-to-QUBO Transformatio ns on the Solution Quality of Quantum Annealing: A Benchmark Study.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Inﬂuence of Diﬀerent 3SAT-to-QUBO Transformatio ns on the Solution Quality of Quantum Annealing: A Benchmark Study

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.966400Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4911572d-e820-4b7b-8ff2-99fabf30b78a · outbound

This paper cites an unresolved cited work.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Unresolved cited work

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-11T16:22:30.439704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c16b21ad-d777-4d90-a8a5-b3863d395677 · outbound

This paper cites an unresolved cited work.

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators Unresolved cited work

Reference 2019

Resolution: verified exact; doi, observed 2026-08-11T16:22:31.513841Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers