%0 Conference Paper %1 conf/lpar/NabeshimaII08 %A Nabeshima, Hidetomo %A Iwanuma, Koji %A Inoue, Katsumi %B LPAR Workshops %D 2008 %E Rudnicki, Piotr %E Sutcliffe, Geoff %E Konev, Boris %E Schmidt, Renate A. %E Schulz, Stephan %I CEUR-WS.org %K dblp %T Complete Pruning Methods and a Practical Search Strategy for SOL. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2008w.html#NabeshimaII08 %V 418

@inproceedings{conf/lpar/NabeshimaII08, added-at = {2019-05-28T00:00:00.000+0200}, author = {Nabeshima, Hidetomo and Iwanuma, Koji and Inoue, Katsumi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24cab0bcd82cec22d0cf1cfd0d2f03483/dblp}, booktitle = {LPAR Workshops}, crossref = {conf/lpar/2008w}, editor = {Rudnicki, Piotr and Sutcliffe, Geoff and Konev, Boris and Schmidt, Renate A. and Schulz, Stephan}, ee = {http://ceur-ws.org/Vol-418/paper9.pdf}, interhash = {a444713a380042b460e91424a246ae40}, intrahash = {4cab0bcd82cec22d0cf1cfd0d2f03483}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2019-09-27T12:46:38.000+0200}, title = {Complete Pruning Methods and a Practical Search Strategy for SOL.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2008w.html#NabeshimaII08}, volume = 418, year = 2008 }