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: Slaney:John
Contributed to:
2002
2017Wrote 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.