DAM
1999
13 years 4 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 4 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
13 years 11 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...