Results 291 to 296 of about 235,564 (296)

An Overview of Parallel SAT Solving

Constraints, 2012
Vasco Manquinho, Inês Lynce
exaly  

The Complexity of Unique k-SAT: An Isolation Lemma for k-CNFs

Journal of Computer and System Sciences, 2008
Russell Impagliazzo, Ramamohan Paturi, Valentine Kabanets   +2 more
exaly  

Generating SAT Instances With Community Structure

Artificial Intelligence, 2016
Jorge Levy Diaz, Jesus Giraldez-Cru
exaly  

Overestimation Bias in Self-Reported SAT Scores

Educational Psychology Review, 2007
Andrew Stull, Richard E. Mayer
exaly  

Security Analysis of Anti-SAT

2017
Muhammad Yasin, Jeyavijayan Rajendran, Ozgur Sinanoglu   +2 more
exaly  

More Paradigms of SAT Solvers: Circuit-SAT, FPGA-Based SAT, LLM-Based SAT

openaire   +1 more source