JSAT
2006
14 years 12 days ago
2006
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...
ECAI
2008
Springer
14 years 2 months ago
2008
Springer
We extend the knowledge compilation map introduced by Darwiche and Marquis with new propositional fragments obtained by applying closure principles to several fragments studied so...
COMPSAC
1996
IEEE
14 years 4 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
RTA
1998
Springer
14 years 4 months ago
1998
Springer
The system FT