%0 Conference Paper %1 conf/mochart/SmausH08 %A Smaus, Jan-Georg %A Hoffmann, Jörg %B MoChArt %D 2008 %E Peled, Doron A. %E Wooldridge, Michael J. %I Springer %K dblp %P 147-165 %T Relaxation Refinement: A New Method to Generate Heuristic Functions. %U http://dblp.uni-trier.de/db/conf/mochart/mochart2008.html#SmausH08 %V 5348 %@ 978-3-642-00430-8

@inproceedings{conf/mochart/SmausH08, added-at = {2017-05-17T00:00:00.000+0200}, author = {Smaus, Jan-Georg and Hoffmann, Jörg}, biburl = {https://www.bibsonomy.org/bibtex/22ffedffbbecb1ed2a3a4399b39318279/dblp}, booktitle = {MoChArt}, crossref = {conf/mochart/2008}, editor = {Peled, Doron A. and Wooldridge, Michael J.}, ee = {https://doi.org/10.1007/978-3-642-00431-5_10}, interhash = {1e6b38478d6b73ce8decabff1dd69a8c}, intrahash = {2ffedffbbecb1ed2a3a4399b39318279}, isbn = {978-3-642-00430-8}, keywords = {dblp}, pages = {147-165}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:26.000+0200}, title = {Relaxation Refinement: A New Method to Generate Heuristic Functions.}, url = {http://dblp.uni-trier.de/db/conf/mochart/mochart2008.html#SmausH08}, volume = 5348, year = 2008 }