Results 271 to 280 of about 246,520 (298)
Some of the next articles are maybe not open access.
Study of Fine-Grained Nested Parallelism in CDCL SAT Solvers
ACM Transactions on Parallel Computing, 2021James L Edwards, Uzi Vishkin
exaly
A Comprehensive Study and Analysis on SAT-Solvers: Advances, Usages and Achievements
Artificial Intelligence Review, 2019Raed Mesleh, Sahel Alouneh, Sa'ed Abed
exaly
Overview and Analysis of the SAT Challenge 2012 Solver Competition
Artificial Intelligence, 2015Carsten Sinz +2 more
exaly
On the Power of Clause-Learning SAT Solvers as Resolution Engines
Artificial Intelligence, 2011Adnan Darwiche, Knot Pipatsrisawat
exaly
Deriving All Minimal Consistency-Based Diagnosis Sets Using SAT Solvers
Progress in Natural Science: Materials International, 2009Xiangfu Zhao, Dantong Ouyang, Yu Jiao
exaly
Hardware Accelerated SAT Solvers—A Survey
Journal of Parallel and Distributed Computing, 2017Mohamed Hassan +2 more
exaly
Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes
2018Houman Homayoun +2 more
exaly