Neil V. Murray

Available identifiers

zbMath Open murray.neil-vMaRDI QIDQ211660

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
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/Q4956020	2000-05-24	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/Q4360109	1998-01-21	Paper
CNF and DNF considered harmful for computing prime implicants/implicates	1997-09-17	Paper
Fast subsumption checks using anti-links	1997-09-07	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
https://portal.mardi4nfdi.de/entity/Q4282528	1994-08-31	Paper
Dissolution	1993-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q3972130	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q5750421	1989-01-01	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
https://portal.mardi4nfdi.de/entity/Q3751043	1985-01-01	Paper
Completely non-clausal theorem proving	1982-01-01	Paper

Research outcomes over time

This page was built for person: Neil V. Murray