16 search results - page 1 / 4 » Generalizing DPLL to Richer Logics |
76
Voted
CAV
2009
Springer
15 years 4 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
105
click to vote
ADBIS
2004
Springer
15 years 2 months ago
2004
Springer
The richer data models of object relational databases opens many more options for the logical design of a database schema increasing the complexity of logical database design enorm...
CAV
2004
Springer
15 years 2 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
CADE
2005
Springer
15 years 9 months ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...