Roberto Asín, Marc Bezem, Robert Nieuwenhuis. Improving IntSat by expressing disjunctions of bounds as linear constraints. AI Commun., 29(1):205-209, 2015. [doi]
@article{AsinBN15,
title = {Improving IntSat by expressing disjunctions of bounds as linear constraints},
author = {Roberto Asín and Marc Bezem and Robert Nieuwenhuis},
year = {2015},
doi = {10.3233/AIC-150684},
url = {http://dx.doi.org/10.3233/AIC-150684},
researchr = {https://researchr.org/publication/AsinBN15},
cites = {0},
citedby = {0},
journal = {AI Commun.},
volume = {29},
number = {1},
pages = {205-209},
}