Login / Signup
On Different Models for Generating Random SAT Problems.
Predrag Janicic
Nenad Dedic
Goran Terzic
Published in:
Comput. Artif. Intell. (2001)
Keyphrases
</>
constraint satisfaction problems
sat problem
computational complexity
satisfiability problem
sat solvers