2920 search results - page 16 / 584 » Finite information logic |
CORR
2010
Springer
15 years 1 months ago
2010
Springer
124
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
111
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch