27 search results - page 1 / 6 » An Experimental Evaluation of Ground Decision Procedures |
CAV
2004
Springer
13 years 10 months ago
2004
Springer
DAC
2003
ACM
14 years 5 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
LPAR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
AND
2009
13 years 2 months ago
2009
In this paper, we propose a new comprehensive methodology in order to evaluate the performance of noisy historical document recognition techniques. We aim to evaluate not only the...
SAC
2010
ACM
13 years 11 months ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...