| Publication | Date of Publication | Type |
|---|
Dissolver: A dissolution-based theorem prover
| 2023-04-28 | Paper |
Computing prime implicates by pruning the search space and accelerating subsumption
Journal Of Logic And Computation | 2018-02-13 | Paper |
Identifying prime implicate branches in reduced implicate tries
| 2010-06-17 | Paper |
Tableaux, path dissolution, and decomposable negation normal form for knowledge compilation
Lecture Notes in Computer Science | 2010-03-09 | Paper |
Reduced Implicate Tries with Updates
Journal Of Logic And Computation | 2010-02-19 | Paper |
Prime implicate tries
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Duality in Knowledge Compilation Techniques
Lecture Notes in Computer Science | 2008-03-17 | Paper |
Normal Forms for Knowledge Compilation
Lecture Notes in Computer Science | 2008-03-17 | Paper |
Updating Reduced Implicate Tries
Lecture Notes in Computer Science | 2008-01-04 | Paper |
Efficient query processing with reduced implicate tries
Journal of Automated Reasoning | 2007-05-04 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
scientific article; zbMATH DE number 2209897 (Why is no real title available?)
| 2005-09-28 | Paper |
Linearity and regularity with negation normal form
Theoretical Computer Science | 2005-01-11 | Paper |
scientific article; zbMATH DE number 2089453 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 1769205 (Why is no real title available?)
| 2002-07-22 | Paper |
scientific article; zbMATH DE number 1696719 (Why is no real title available?)
| 2002-04-25 | Paper |
\(\mho\)-resolution and hybrid knowledge bases
Journal of the Franklin Institute | 2001-10-16 | Paper |
scientific article; zbMATH DE number 1500647 (Why is no real title available?)
| 2001-05-21 | Paper |
scientific article; zbMATH DE number 1452405 (Why is no real title available?)
| 2000-05-24 | Paper |
scientific article; zbMATH DE number 1301752 (Why is no real title available?)
| 1999-10-05 | Paper |
scientific article; zbMATH DE number 1090101 (Why is no real title available?)
| 1999-05-03 | Paper |
A framework for automated reasoning in multiple-valued logics
Journal of Automated Reasoning | 1999-03-23 | Paper |
scientific article; zbMATH DE number 1189103 (Why is no real title available?)
| 1998-08-13 | Paper |
scientific article; zbMATH DE number 1076965 (Why is no real title available?)
| 1998-01-21 | Paper |
CNF and DNF considered harmful for computing prime implicants/implicates
Journal of Automated Reasoning | 1997-09-17 | Paper |
Fast subsumption checks using anti-links
Journal of Automated Reasoning | 1997-09-07 | Paper |
scientific article; zbMATH DE number 695097 (Why is no real title available?)
| 1995-05-01 | Paper |
On the relative merits of path dissolution and the method of analytic tableaux
Theoretical Computer Science | 1995-03-29 | Paper |
On the Computational Intractability of Analytic Tableau Methods
Logic Journal of the IGPL | 1995-01-02 | Paper |
scientific article; zbMATH DE number 517005 (Why is no real title available?)
| 1994-08-31 | Paper |
Dissolution
Journal of the ACM | 1993-12-06 | Paper |
scientific article; zbMATH DE number 15495 (Why is no real title available?)
| 1992-06-25 | Paper |
scientific article; zbMATH DE number 4185055 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4072433 (Why is no real title available?)
| 1988-01-01 | Paper |
Inference with path resolution and semantic graphs
Journal of the ACM | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4047182 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4003561 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3988746 (Why is no real title available?)
| 1985-01-01 | Paper |
Completely non-clausal theorem proving
Artificial Intelligence | 1982-01-01 | Paper |
