Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Bayless, Sam"'
Autor:
Feng, Nick, Hu, Alan J., Bayless, Sam, Iqbal, Syed M., Trentin, Patrick, Whalen, Mike, Pike, Lee, Backes, John
Generating proofs of unsatisfiability is a valuable capability of most SAT solvers, and is an active area of research for SMT solvers. This paper introduces the first method to efficiently generate proofs of unsatisfiability specifically for an impor
Externí odkaz:
http://arxiv.org/abs/2401.10703
Autor:
Bayless, Sam
Satisfiability Modulo Theories (SMT) solvers are a class of efficient constraint solvers which form integral parts of many algorithms. Over the years, dozens of different Satisfiability Modulo Theories solvers have been developed, supporting dozens o
Externí odkaz:
http://hdl.handle.net/2429/61062
Autor:
Hutter, Frank, Lindauer, Marius, Balint, Adrian, Bayless, Sam, Hoos, Holger, Leyton-Brown, Kevin
It is well known that different solution strategies work well for different types of instances of hard combinatorial problems. As a consequence, most solvers for the propositional satisfiability problem (SAT) expose parameters that allow them to be c
Externí odkaz:
http://arxiv.org/abs/1505.01221
Autor:
Bayless, Sam, Kodirov, Nodir, Iqbal, Syed M., Beschastnikh, Ivan, Hoos, Holger H., Hu, Alan J.
Publikováno v:
In Artificial Intelligence January 2020 278
We define the concept of a monotonic theory and show how to build efficient SMT (SAT Modulo Theory) solvers, including effective theory propagation and clause learning, for such theories. We present examples showing that monotonic theories arise from
Externí odkaz:
http://arxiv.org/abs/1406.0043
Autor:
Hutter, Frank, Lindauer, Marius, Balint, Adrian, Bayless, Sam, Hoos, Holger, Leyton-Brown, Kevin
Publikováno v:
In Artificial Intelligence February 2017 243:1-25
Publikováno v:
2016 IEEE European Symposium on Security & Privacy (EuroS&P); 2016, p31-46, 16p
Publikováno v:
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I; 2016, p136-156, 21p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Learning & Intelligent Optimization: 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers; 2014, p47-61, 15p