Not finding it? Sign in to also search OpenAlex live.
-
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving2021 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Formal Methods in Verification Open access
Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport
3citations -
Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability2025 Design, Automation, and Test in Europe conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access
L. Schmid, Tom Peham, Lucas Berent, Markus Michael Müller, Robert Wille
0citations -
Quantum annealing for hard 2-satisfiability problems: Distribution and scaling of minimum energy gap and success probability2022 Physical Review A article Computer Science Quantum Computing Algorithms and Architecture Open access
Vrinda Mehta, Fengping Jin, Hans A. De Raedt, Kristel F. L. Michielsen
11citations -
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Polynomial and algebraic computation Open access
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
34citations