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
https://portal.mardi4nfdi.de/entity/Q2753606	2001-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4499290	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q2785438	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/Q3338217	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3344174	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Graham Wrightson