DMCA

Constraint satisfaction problems in clausal form: Autarkies and minimal unsatisfiability (2007)

by Oliver Kullmann
Venue:ELECTRONIC COLLOQUIUM ON COMPUTATIONAL COMPLEXITY (ECCC
Citations:15 - 6 self