Publication | Closed Access

On the power of clause-learning SAT solvers as resolution engines

Artificial IntelligenceClause-learning Sat SolversConstraint SolvingEngineeringAutomated ReasoningSat SolvingComputational ComplexityComputer ScienceInductive Logic ProgrammingKnowledge CompilationSatisfiability