DMCA

An algorithmic platform for efficient satisfiability-based problem solving (2007)

by Oliver Kullmann