%0 Conference Paper %1 conf/setn/ArgyropoulosS08 %A Argyropoulos, Yannis %A Stergiou, Kostas %B SETN %D 2008 %E Darzentas, John %E Vouros, George A. %E Vosinakis, Spyros %E Arnellos, Argyris %I Springer %K %P 38-50 %T A Study of SAT-Based Branching Heuristics for the CSP. %U http://dblp.uni-trier.de/db/conf/setn/setn2008.html#ArgyropoulosS08 %V 5138 %@ 978-3-540-87880-3

@inproceedings{conf/setn/ArgyropoulosS08, added-at = {2023-12-12T19:34:10.000+0100}, author = {Argyropoulos, Yannis and Stergiou, Kostas}, biburl = {https://www.bibsonomy.org/bibtex/27692e0a7d00f977025cc9ecd0fe9a841/admin}, booktitle = {SETN}, crossref = {conf/setn/2008}, editor = {Darzentas, John and Vouros, George A. and Vosinakis, Spyros and Arnellos, Argyris}, ee = {https://doi.org/10.1007/978-3-540-87881-0_5}, interhash = {22b6f951e266f2a94cf87408d5dc5f46}, intrahash = {7692e0a7d00f977025cc9ecd0fe9a841}, isbn = {978-3-540-87880-3}, keywords = {}, pages = {38-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:34:10.000+0100}, title = {A Study of SAT-Based Branching Heuristics for the CSP.}, url = {http://dblp.uni-trier.de/db/conf/setn/setn2008.html#ArgyropoulosS08}, volume = 5138, year = 2008 }