%0 Conference Paper %1 conf/aaai/SmithSW00 %A Smith, Barbara M. %A Stergiou, Kostas %A Walsh, Toby %B AAAI/IAAI %D 2000 %E Kautz, Henry A. %E Porter, Bruce W. %I AAAI Press / The MIT Press %K %P 182-187 %T Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2000.html#SmithSW00 %@ 0-262-51112-6

@inproceedings{conf/aaai/SmithSW00, added-at = {2023-12-13T02:22:01.000+0100}, author = {Smith, Barbara M. and Stergiou, Kostas and Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/2e139534d919cc9365c337b2783370d4b/admin}, booktitle = {AAAI/IAAI}, crossref = {conf/aaai/2000}, editor = {Kautz, Henry A. and Porter, Bruce W.}, ee = {http://www.aaai.org/Library/AAAI/2000/aaai00-028.php}, interhash = {7e500241a8db21f3d9044ec74aa21a64}, intrahash = {e139534d919cc9365c337b2783370d4b}, isbn = {0-262-51112-6}, keywords = {}, pages = {182-187}, publisher = {AAAI Press / The MIT Press}, timestamp = {2023-12-13T02:22:01.000+0100}, title = {Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2000.html#SmithSW00}, year = 2000 }