BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Andres:Benjamin

Contributed to:

DATE 20152015
ICLP 20122012

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

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.