Graham Wrightson

MaRDI QIDQ820147zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution Journal of the ACM	2015-09-20	Paper
On finding short resolution refutations and small unsatisfiable subsets Theoretical Computer Science	2006-04-06	Paper
Parameterized and Exact Computation Lecture Notes in Computer Science	2005-08-23	Paper
scientific article; zbMATH DE number 1926639 (Why is no real title available?)	2003-06-11	Paper
An open research problem: strong completeness of R Kowalski's connection graph proof procedure Logic Journal of the IGPL	2002-06-04	Paper
A bibliography on analytic tableaux theorem proving	2001-11-14	Paper
scientific article; zbMATH DE number 1497859 (Why is no real title available?)	2001-03-05	Paper
Computer money. Aus d. Engl. von Monika Hartmann	1997-02-23	Paper
scientific article; zbMATH DE number 834572 (Why is no real title available?)	1996-01-16	Paper
A truncation technique for clausal analytic tableaux Information Processing Letters	1993-01-16	Paper
scientific article; zbMATH DE number 3877148 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3871323 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3761441 (Why is no real title available?)	1982-01-01	Paper
Paramodulated connection graphs Acta Informatica	1980-01-01	Paper

Research outcomes over time

This page was built for person: Graham Wrightson