Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
SAT
Three is a crowd: SAT, SMT and CLP on a chessboard
Constraint solving technology for declarative formal models has made considerable progress in recent years, and has many applications …
Sebastian Krings
,
Michael Leuschel
,
Philipp Körner
,
Stefan Hallerstede
,
Miran Hasanagic
PDF
Cite
DOI
Cite
×