BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
T.Walsh D.Itegulov B.W.Paleo
Talks about:
conflict (1) behavior (1) transit (1) theorem (1) scaveng (1) resolut (1) prover (1) phase (1) optim (1) decis (1)

Person: John Slaney

DBLP DBLP: Slaney:John

Contributed to:

SAT 20022002
CADE 20172017

Wrote 2 papers:

SAT-2002-SlaneyW #behaviour #optimisation
Phase Transition Behavior: From Decision to Optimization (JS, TW), p. 4.
CADE-2017-ItegulovSP #proving #theorem proving
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution (DI, JS, BWP), pp. 344–356.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.