October 16, 2017
Three is a Crowd: SAT, SMT and CLP on a Chessboard
Authors
Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagić
Venue
PADL 2018
Bibtex
@InProceedings(crowdedchessboard,
Author = {Sebastian Krings and Michael Leuschel and Philipp K\"{o}rner and Stefan Hallerstede and Miran Hasanagi\'{c}},
Title = {{Three is a Crowd: SAT, SMT and CLP on a Chessboard}},
Booktitle = {Proceedings PADL (International Symposium on Practical Aspects of Declarative Languages)},
Year = 2018,
Series = {Lecture Notes in Computer Science},
Volume = 10702,
Publisher = {Springer}
)
