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 -
Zeroth and higher-order logic with content addressable memories2023 Technical digest - International Electron Devices Meeting/Technical digest conference-paper Computer Science Network Packet Processing and Optimization
Giacomo Pedretti, Fabian Böhm, Mohammad Hizzani, Sergey Serebryakov, Dmitri B. Strukov, John Paul Strachan, +4 more
5citations -
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 -
Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL2024 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Model-Driven Software Engineering Techniques
Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber, Valdes Voufo
3citations