Results 271 to 280 of about 3,379,264 (310)
Some of the next articles are maybe not open access.
2009
The purpose of this chapter is to explain how SAT-solvers operate (at least at the time of the writing of this book, late 2008). Two major families will be described in this section. The family of SAT-solvers used by the author are based on the Chaff Algorithm [182], culminating in MINISAT, a popular SAT-solver [104] [6].
openaire +1 more source
The purpose of this chapter is to explain how SAT-solvers operate (at least at the time of the writing of this book, late 2008). Two major families will be described in this section. The family of SAT-solvers used by the author are based on the Chaff Algorithm [182], culminating in MINISAT, a popular SAT-solver [104] [6].
openaire +1 more source
Attacking Bivium Using SAT Solvers
2008In this paper we present experimental results of an application of SAT solvers in current cryptography. Trivium is a very promising stream cipher candidate in the final phase of the eSTREAM project. We use the fastest industrial SAT solvers to attack a reduced version of Trivium - called Bivium.
Tobias Eibach +2 more
openaire +1 more source
An Ising Hamiltonian solver based on coupled stochastic phase-transition nano-oscillators
Nature Electronics, 2021Sourav Dutta +2 more
exaly
The Effect of Structural Measures and Merges on SAT Solver Performance
International Conference on Principles and Practice of Constraint Programming, 2018Edward Zulkoski +5 more
semanticscholar +1 more source
Checking Safety Properties Using Induction and a SAT-Solver
Formal Methods in Computer-Aided Design, 2000M. Sheeran, Satnam Singh, G. Stålmarck
semanticscholar +1 more source
Probabilistic Reasoning by SAT Solvers
2009In a series of papers we have shown that fundamental probabilistic reasoning problems can be encoded as hybrid probabilistic logic programs with probabilistic answer set semantics described in [24]. These probabilistic reasoning problems include, but not limited to, probabilistic planning [28], probabilistic planning with imperfect sensing actions [29],
openaire +1 more source
Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver
International Conference on Algorithms for Computational Biology, 2014D. Rosenblueth +3 more
semanticscholar +1 more source
OSQP: an operator splitting solver for quadratic programs
Mathematical Programming Computation, 2020Bartolomeo Stellato +2 more
exaly