%0 Conference Paper %1 conf/sara/AavaniMT13 %A Aavani, Amir %A Mitchell, David G. %A Ternovska, Eugenia %B SARA %D 2013 %E Frisch, Alan M. %E Gregory, Peter %I AAAI %K dblp %T New Encoding for Translating Pseudo-Boolean Constraints into SAT. %U http://dblp.uni-trier.de/db/conf/sara/sara2013.html#AavaniMT13 %@ 978-1-57735-630-1

@inproceedings{conf/sara/AavaniMT13, added-at = {2021-02-09T00:00:00.000+0100}, author = {Aavani, Amir and Mitchell, David G. and Ternovska, Eugenia}, biburl = {https://www.bibsonomy.org/bibtex/2591f55f92a24ae9792a65a60b97c4c50/dblp}, booktitle = {SARA}, crossref = {conf/sara/2013}, editor = {Frisch, Alan M. and Gregory, Peter}, ee = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7212}, interhash = {c9558fc82ea2e77fb5041ef07858f2df}, intrahash = {591f55f92a24ae9792a65a60b97c4c50}, isbn = {978-1-57735-630-1}, keywords = {dblp}, publisher = {AAAI}, timestamp = {2024-04-10T02:01:03.000+0200}, title = {New Encoding for Translating Pseudo-Boolean Constraints into SAT.}, url = {http://dblp.uni-trier.de/db/conf/sara/sara2013.html#AavaniMT13}, year = 2013 }