From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “satisfiability” 142

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

The Compilability Thresholds of 2-CNF to OBDD
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Alexis de Colnet, Alfons Laarman, Joon Hyung Lee

0

citations
The Compilability Thresholds of 2-CNF to OBDD
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Alexis de Colnet, Alfons Laarman, J. Lee

0

citations
More is Less: Adding Polynomials for Faster Explanations in NLSAT
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Valentin Promies, Jasper Nalbach, Erika Ábrahám

0

citations
Challenges and Opportunities in Quantum Optimization
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Amira Abbas, Andris Ambainis, Brandon Augustino, Andreas Bärtschi, Harry Buhrman, Carleton Coffrin, +40 more

8

citations
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
2023 arXiv (Cornell University) preprint Computer Science Polynomial and algebraic computation Open access

Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown

1

citations
Memristor-based hardware and algorithms for higher-order Hopfield optimization solver outperforming quadratic Ising machines
2023 arXiv (Cornell University) preprint Engineering Advanced Memory and Neural Computing Open access

Mohammad Hizzani, Arne Heittmann, George A. Hutchinson, Dmitrii Dobrynin, Thomas Van Vaerenbergh, Tinish Bhattacharya, +3 more

1

citations
Computing High-Degree Polynomial Gradients in Memory
2024 arXiv (Cornell University) preprint Engineering Advanced Memory and Neural Computing Open access

George Hutchinson, Giacomo Pedretti, Xia Sheng, Jim Ignowski, Thomas Van Vaerenbergh, Raymond G. Beausoleil, +2 more

1

citations
Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence
2021 arXiv (Cornell University) preprint Physics and Astronomy Quantum Mechanics and Applications Open access

Rafael Albert, Erich Grädel

0

citations
Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Tom Peham, L. Schmid, Lucas Berent, Markus Müller, Robert Wille

0

citations
Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs
2025 arXiv (Cornell University) preprint Computer Science Constraint Satisfaction and Optimization Open access

Jan Tönshoff, Martin Grohe

0

citations
Thermodynamic Perspectives on Computational Complexity
2024 SSRN Electronic Journal preprint Computer Science Complexity and Algorithms in Graphs Open access

Florian Neukart

1

citations
Automatically discovering heuristics in a complex SAT solver with large language models
2025 Research Square preprint Computer Science Constraint Satisfaction and Optimization Open access

Shaowei Cai, Yiwen Sun, Furong Ye, Zhihan Chen, Ke Wei

0

citations
Quantum Graph-State Synthesis with SAT
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Sebastiaan Brand, Tim Coopmans, Alfons Laarman

0

citations
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Till Hofmann, Gerhard Lakemeyer

1

citations
Mixing of the Averaging process and its discrete dual on finite-dimensional geometries
2021 arXiv (Cornell University) preprint Mathematics Stochastic processes and statistical mechanics Open access

Matteo Quattropani, Federico Sau

15

citations
ENLIGHT Consensus Checklist and Guidelines for reporting laboratory studies on the non-visual effects of light in humans
2023 bioRxiv (Cold Spring Harbor Laboratory) preprint Neuroscience Circadian rhythm and melatonin Open access

Manuel Spitschan, Laura Kervezee, Renske Lok, Elise M. McGlashan, Raymond P. Najjar

2

citations
Adaptive stratified sampling for non-smooth problems
2021 arXiv (Cornell University) preprint Decision Sciences Probabilistic and Robust Engineering Design Open access

Per Pettersson, Sebastian Krumscheid

1

citations
Integrating environmental sustainability in clinical counselling: a randomised, double-blinded, experimental vignette study of satisfaction with care
2025 medRxiv preprint Health Professions Patient-Provider Communication in Healthcare Open access

Egid M van Bree, Laurens C. van Gestel, Eva H Visser, Jiska Joëlle Aardoom, Evelyn A Brakema, Marieke A. Adriaanse

1

citations
Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Tim Seppelt

1

citations
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
Parameter Synthesis in Markov Models: A Gentle Survey
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

0

citations
The Complexity of Online Graph Games
2022 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Janosch Fuchs, Christoph Grüne, Tom Janßen

0

citations
Bipartite $q$-Kneser graphs and two-generated irreducible linear groups
2023 arXiv (Cornell University) preprint Mathematics Finite Group Theory Research Open access

S. P. Glasby, Alice C. Niemeyer, Cheryl E. Praeger

0

citations
Protocells reproduce morphological and chemical signatures of early microfossils
2026 bioRxiv (Cold Spring Harbor Laboratory) preprint Physics and Astronomy Origins and Evolution of Life Open access

Louise Gillet de Chalonge, Kaitlin Field, Róisín Dignam, Maxime Coutant, Corentin Loron, Mark A. van Zuilen, +1 more

0

citations
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler

0

citations