3 search results - page 1 / 1 » SAT Encoding of Unification in EL |
85
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
82
Voted
CADE
2007
Springer
16 years 17 days ago
2007
Springer
We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau an...
110
click to vote
CCECE
2006
IEEE
15 years 6 months ago
2006
IEEE
Several approaches have been proposed to accelerate the NP-complete Boolean Satisfiability problem (SAT) using reconfigurable computing. We present an FPGA based clause evaluator,...