Erik Rosenthal

Available identifiers

zbMath Open rosenthal.erik-jMaRDI QIDQ211661

List of research outcomes

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	2018-02-13	Paper
Identifying Prime Implicate Branches in Reduced Implicate Tries	2010-06-17	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2010-03-09	Paper
Reduced Implicate Tries with Updates	2010-02-19	Paper
Prime Implicate Tries	2009-12-01	Paper
Duality in Knowledge Compilation Techniques	2008-03-17	Paper
Normal Forms for Knowledge Compilation	2008-03-17	Paper
Updating Reduced Implicate Tries	2008-01-04	Paper
Efficient query processing with reduced implicate tries	2007-05-04	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q5692880	2005-09-28	Paper
Linearity and regularity with negation normal form	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q3046854	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4540005	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2766946	2002-04-25	Paper
\(\mho\)-resolution and hybrid knowledge bases	2001-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q4501669	2001-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4246967	1999-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4366602	1999-05-03	Paper
A framework for automated reasoning in multiple-valued logics	1999-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q3838812	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4314600	1995-05-01	Paper
On the relative merits of path dissolution and the method of analytic tableaux	1995-03-29	Paper
On the Computational Intractability of Analytic Tableau Methods	1995-01-02	Paper
Dissolution	1993-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q3972130	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3804233	1988-01-01	Paper
Inference with path resolution and semantic graphs	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783624	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4728268	1986-01-01	Paper
A Characterization of the Invariant Subspaces of Direct Sums of Strictly Cyclic Algebras	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3751043	1985-01-01	Paper
A remark on Burnside's theorem on matrix algebras	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883020	1979-01-01	Paper
Power Bounded Strictly Cyclic Operators	1978-01-01	Paper

Research outcomes over time

This page was built for person: Erik Rosenthal