260 search results - page 2 / 52 » Blocked Clause Elimination |
JAR
1998
13 years 4 months ago
1998
It is shown how self-resolving clauses like symmetry or transitivity, or even clauses like condensed detachment, can faithfully be deleted from the clause set thus eliminating or ...
CPAIOR
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we investigate to which extent the elimination of a class of redundant clauses in SAT instances could improve the efficiency of modern satisfiability provers. Sinc...
IJCAI
1989
13 years 6 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
TABLEAUX
1992
Springer
13 years 9 months ago
1992
Springer
CORR
2010
Springer
13 years 5 months ago
2010
Springer
traction for Size-Change Termination