Inproceedings,
Using Decision Procedures Efficiently for Optimization.
M. Streeter, and S. Smith.ICAPS, page 312-319. AAAI, (2007)
Meta data
- BibTeX key
- conf/aips/StreeterS07
- entry type
- inproceedings
- booktitle
- ICAPS
- year
- 2007
- pages
- 312-319
- publisher
- AAAI
- crossref
- conf/aips/2007
- ee
- http://www.aaai.org/Library/ICAPS/2007/icaps07-040.php
- isbn
- 978-1-57735-344-7
- url
- http://dblp.uni-trier.de/db/conf/aips/icaps2007.html#StreeterS07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/aips/StreeterS07
%A Streeter, Matthew J.
%A Smith, Stephen F.
%B ICAPS
%D 2007
%E Boddy, Mark S.
%E Fox, Maria
%E Thiébaux, Sylvie
%I AAAI
%K dblp
%P 312-319
%T Using Decision Procedures Efficiently for Optimization.
%U http://dblp.uni-trier.de/db/conf/aips/icaps2007.html#StreeterS07
%@ 978-1-57735-344-7
@inproceedings{conf/aips/StreeterS07,
added-at = {2021-02-05T00:00:00.000+0100},
author = {Streeter, Matthew J. and Smith, Stephen F.},
biburl = {https://www.bibsonomy.org/bibtex/28a12c460d20e15b1aad306d938ea4c39/dblp},
booktitle = {ICAPS},
crossref = {conf/aips/2007},
editor = {Boddy, Mark S. and Fox, Maria and Thiébaux, Sylvie},
ee = {http://www.aaai.org/Library/ICAPS/2007/icaps07-040.php},
interhash = {d2da559d92e19308bf39039357aa7827},
intrahash = {8a12c460d20e15b1aad306d938ea4c39},
isbn = {978-1-57735-344-7},
keywords = {dblp},
pages = {312-319},
publisher = {AAAI},
timestamp = {2024-04-10T00:41:01.000+0200},
title = {Using Decision Procedures Efficiently for Optimization.},
url = {http://dblp.uni-trier.de/db/conf/aips/icaps2007.html#StreeterS07},
year = 2007
}