%0 Conference Paper %1 conf/sara/YangCH07 %A Yang, Fan %A Culberson, Joseph C. %A Holte, Robert %B SARA %D 2007 %E Miguel, Ian %E Ruml, Wheeler %I Springer %K dblp %P 413-414 %T Using Infeasibility to Improve Abstraction-Based Heuristics. %U http://dblp.uni-trier.de/db/conf/sara/sara2007.html#YangCH07 %V 4612 %@ 978-3-540-73579-3

@inproceedings{conf/sara/YangCH07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Yang, Fan and Culberson, Joseph C. and Holte, Robert}, biburl = {https://www.bibsonomy.org/bibtex/270c86e78d5cd06ef8c67091efe996ee8/dblp}, booktitle = {SARA}, crossref = {conf/sara/2007}, editor = {Miguel, Ian and Ruml, Wheeler}, ee = {https://doi.org/10.1007/978-3-540-73580-9_41}, interhash = {deb414e934ee23ef93e58bfb2ee15f6c}, intrahash = {70c86e78d5cd06ef8c67091efe996ee8}, isbn = {978-3-540-73579-3}, keywords = {dblp}, pages = {413-414}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:32:41.000+0200}, title = {Using Infeasibility to Improve Abstraction-Based Heuristics.}, url = {http://dblp.uni-trier.de/db/conf/sara/sara2007.html#YangCH07}, volume = 4612, year = 2007 }