226 search results - page 2 / 46 » BDDs and Automated Deduction |
DAC
1999
ACM
14 years 6 months ago
1999
ACM
PPAM
2001
Springer
13 years 9 months ago
2001
Springer
We present an automated deduction system for equational reasoning combining two different parallelization/distribution schemes: Strategy-compliant parallelization on the level of ...
DAC
2003
ACM
14 years 6 months ago
2003
ACM
Procedures for Boolean satis ability most commonly work with Conjunctive Normal Form. Powerful SAT techniques based on implications and con icts can be retained when the usual CNF...
DAC
1999
ACM
14 years 6 months ago
1999
ACM
CSL
2000
Springer
13 years 5 months ago
2000
Springer
Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply ...