Not finding it? Sign in to also search OpenAlex live.
-
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 -
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more
13citations -
First three years of the international verification of neural networks competition (VNN-COMP)2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access cited by 1 patent
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor Thomas Johnson, Changliu Liu
66citations