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 -
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 -
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 -
Automated Reasoning in Quantum Circuit Compilation2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, +1 more
4citations -
Lipschitz Safe Bayesian Optimization for Automotive Control2024 Proceedings of the IEEE Conference on Decision & Control, including the Symposium on Adaptive Processes conference-paper Decision Sciences Advanced Bandit Algorithms Research
Johanna Menn, Pietro Pelizzari, Michael Fleps-Dezasse, Sebastian Trimpe
1citations