111 search results - page 2 / 23 » Combined Decision Techniques for the Existential Theory of t... |
CADE
2005
Springer
14 years 5 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
SAT
2004
Springer
13 years 10 months ago
2004
Springer
The problem of solving boolean combinations of difference constraints is at the core of many important techniques such as planning, scheduling, and model-checking of real-time syst...
MICAI
2010
Springer
2010
Springer
Combining Neural Networks Based on Dempster-Shafer Theory for Classifying Data with Imperfect Labels
13 years 3 months ago
This paper addresses the supervised learning in which the class membership of training data are subject to uncertainty. This problem is tackled in the framework of the Dempster-Sha...
FROCOS
2011
Springer
12 years 5 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
FROCOS
2007
Springer
13 years 9 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...