Travelled to:
1 × France
Collaborated with:
M.Heizmann J.Christ D.Dietsch J.Hoenicke M.Lindenmann B.Musa C.Schilling A.Podelski
Talks about:
unsatisfi (1) contribut (1) competit (1) ultim (1) autom (1) core (1)
Person: Stefan Wissert
DBLP: Wissert:Stefan
Contributed to:
Wrote 1 papers:
- TACAS-2014-HeizmannCDHLMSWP #contest #satisfiability
- Ultimate Automizer with Unsatisfiable Cores — (Competition Contribution) (MH, JC, DD, JH, ML, BM, CS, SW, AP), pp. 418–420.