%0 Conference Paper %1 conf/sara/VelevG09 %A Velev, Miroslav N. %A Gao, Ping %B SARA %D 2009 %E Bulitko, Vadim %E Beck, J. Christopher %I AAAI %K dblp %T Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles. %U http://dblp.uni-trier.de/db/conf/sara/sara2009.html#VelevG09

@inproceedings{conf/sara/VelevG09, added-at = {2022-03-08T00:00:00.000+0100}, author = {Velev, Miroslav N. and Gao, Ping}, biburl = {https://www.bibsonomy.org/bibtex/2068c2bce9ba6980ad91d4a027d53c572/dblp}, booktitle = {SARA}, crossref = {conf/sara/2009}, editor = {Bulitko, Vadim and Beck, J. Christopher}, ee = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/837}, interhash = {5d388417f35aff1a7bd65e59473285b2}, intrahash = {068c2bce9ba6980ad91d4a027d53c572}, keywords = {dblp}, publisher = {AAAI}, timestamp = {2024-04-10T09:03:03.000+0200}, title = {Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles.}, url = {http://dblp.uni-trier.de/db/conf/sara/sara2009.html#VelevG09}, year = 2009 }