Travelled to:1 × France
1 × Hungary
Collaborated with:T.Schaub B.Kaufmann O.Matheis A.Biewer J.Gladigau C.Haubelt
Talks about:system (2) base (2) unsatisfi (1) synthesi (1) approach (1) coordin (1) symbol (1) optim (1) clasp (1) time (1)
Person: Benjamin Andres
DBLP: Andres:Benjamin
Contributed to:
2015
2012Wrote 2 papers:
- DATE-2015-BiewerAGSH #approach #coordination #realtime #synthesis
- A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving (AB, BA, JG, TS, CH), pp. 357–362.
- ICLP-2012-AndresKMS #optimisation #satisfiability
- Unsatisfiability-based optimization in clasp (BA, BK, OM, TS), pp. 211–221.