Travelled to:1 × France
1 × Italy
Collaborated with:M.Heizmann J.Christ D.Dietsch J.Hoenicke C.Schilling A.Podelski B.Musa S.Wissert E.Ermis A.Nutz
Talks about:contribut (2) competit (2) ultim (2) autom (2) unsatisfi (1) interpol (1) core (1) smt (1)
Person: Markus Lindenmann
DBLP: Lindenmann:Markus
Contributed to:
20142013Wrote 2 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.
- TACAS-2013-HeizmannCDEHLNSP #contest
- Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.