Travelled to:1 × Denmark
1 × Switzerland
1 × USA
Collaborated with:R.Impagliazzo J.Edmonds J.Buresh-Oppenheim T.Pitassi A.Valmari J.Kemppainen M.Levanto
Talks about:unsatisfi (1) polynomin (1) algorithm (1) techniqu (1) reachabl (1) groebner (1) calculus (1) homogen (1) analysi (1) togeth (1)
Person: Matthew Clegg
DBLP: Clegg:Matthew
Contributed to:
2000
1996
1993Wrote 3 papers:
- ICALP-2000-Buresh-OppenheimCIP #calculus
- Homogenization and the Polynominal Calculus (JBO, MC, RI, TP), pp. 926–937.
- STOC-1996-CleggEI #algorithm #proving #satisfiability #using
- Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability (MC, JE, RI), pp. 174–183.
- FME-1993-ValmariKCL #analysis #reachability
- Putting Advanced Reachability Analysis Techniques Together: the “ARA” Tool (AV, JK, MC, ML), pp. 597–616.