Inproceedings,
New Encoding for Translating Pseudo-Boolean Constraints into SAT.
A. Aavani, D. Mitchell, and E. Ternovska.SARA, AAAI, (2013)
Meta data
- BibTeX key
- conf/sara/AavaniMT13
- entry type
- inproceedings
- booktitle
- SARA
- year
- 2013
- publisher
- AAAI
- crossref
- conf/sara/2013
- ee
- http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7212
- isbn
- 978-1-57735-630-1
- url
- http://dblp.uni-trier.de/db/conf/sara/sara2013.html#AavaniMT13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}