Results 321 to 330 of about 3,677,634 (349)
Some of the next articles are maybe not open access.
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
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
Impact of Community Structure on SAT Solver Performance
International Conference on Theory and Applications of Satisfiability Testing, 2014Zack Newsham +4 more
semanticscholar +1 more source
A Circuit-Level Amoeba-Inspired SAT Solver
IEEE Transactions on Circuits and Systems II: Express Briefs, 2020Naoki Takeuchi +2 more
exaly
Overview and analysis of the SAT Challenge 2012 solver competition
Artificial Intelligence, 2015Adrian Bálint +2 more
exaly
CirSAT: An Efficient Circuit-based SAT Solver via Fanout-driven Decision Heuristic
2023Zhufei Chu
exaly
On the Impact of SAT Solvers on Argumentation Solvers. [PDF]
, 2023 Serigne Gning, Jean-Guy Mailly
openaire
Extended Finite-State Machine Induction using SAT-Solver
IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 2012Vladimir Ulyantsev
exaly