Title: MiniSAT(ID) for satisfiability checking and constraint solving
Authors: De Cat, Broes
Bogaerts, Bart
Denecker, Marc
Editors: Dovier, Agostino
Pontelli, Enrico
Issue Date: Sep-2014
Publisher: Association for Logic Programming
Series Title: ALP Newsletter
Publication status: published
KU Leuven publication type: DI
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
ALP-minisatid.pdf Published 206KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.