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 × 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 DBLP: Clegg:Matthew

Contributed to:

ICALP 20002000
STOC 19961996
FME 19931993

Wrote 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.

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.