| 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 |
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 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 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 |
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 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 |
| A Characterization of the Invariant Subspaces of Direct Sums of Strictly Cyclic Algebras | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3988746 (Why is no real title available?) | 1985-01-01 | Paper |
A remark on Burnside's theorem on matrix algebras
Linear Algebra and its Applications | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3688092 (Why is no real title available?) | 1979-01-01 | Paper |
| Power Bounded Strictly Cyclic Operators | 1978-01-01 | Paper |
