Author:Christoph Weidenbach
KeyphrasesCDCL, CDCL with branch and bound, clauses, decidability, first-order2, first-order reasoning, hyper-resolution, Ontology Reasoning, ordered resolution, portfolio, query answering, resolution, SAT, satisfiability checking, solver, superposition2, theorem prover, verification. |