Carlos Mencía, Alessandro Previti, João Marques-Silva
SAT-Based Horn Least Upper Bounds
ICST, 2015.
@inproceedings{SAT-2015-MenciaPM,
author = "Carlos Mencía and Alessandro Previti and João Marques-Silva",
booktitle = "{Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing}",
doi = "10.1007/978-3-319-24318-4_30",
isbn = "978-3-319-24317-7",
pages = "423--433",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{SAT-Based Horn Least Upper Bounds}",
volume = 9340,
year = 2015,
}
Tags: