Cristian Frasinaru, Florentin Olariu. Reducing the Number of Useless Revisions Performed by Constraint Solvers Based on AC-3. In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. pages 243-249, IEEE, 2013. [doi]
@inproceedings{FrasinaruO13,
title = {Reducing the Number of Useless Revisions Performed by Constraint Solvers Based on AC-3},
author = {Cristian Frasinaru and Florentin Olariu},
year = {2013},
doi = {10.1109/SYNASC.2013.39},
url = {http://dx.doi.org/10.1109/SYNASC.2013.39},
researchr = {https://researchr.org/publication/FrasinaruO13},
cites = {0},
citedby = {0},
pages = {243-249},
booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013},
publisher = {IEEE},
isbn = {978-1-4799-3035-7},
}