Graham Wrightson

Available identifiers

zbMath Open wrightson.grahamMaRDI QIDQ820147

List of research outcomes

Publication	Date of Publication	Type
a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution	2015-09-20	Paper
On finding short resolution refutations and small unsatisfiable subsets	2006-04-06	Paper
Parameterized and Exact Computation	2005-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4707767	2003-06-11	Paper
An open research problem: strong completeness of R Kowalski's connection graph proof procedure	2002-06-04	Paper
A bibliography on analytic tableaux theorem proving	2001-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4499290	2001-03-05	Paper
Computer money. Aus d. Engl. von Monika Hartmann	1997-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4860660	1996-01-16	Paper
A truncation technique for clausal analytic tableaux	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3344174	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3338217	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3944043	1982-01-01	Paper
Paramodulated connection graphs	1980-01-01	Paper

Research outcomes over time

This page was built for person: Graham Wrightson