DAM
1999
13 years 11 months ago
1999
An algorithm called Modoc", which has been introduced elsewhere, enhances propositional model elimination with autarky pruning, and other features. The model elimination meth...
APAL
2010
13 years 11 months ago
2010
We present a setting in which the search for a proof of B or a refutation of B (i.e., a proof of
LICS
2008
IEEE
14 years 5 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...