%0 Conference Paper %1 conf/aips/GangeHS19 %A Gange, Graeme %A Harabor, Daniel %A Stuckey, Peter J. %B ICAPS %D 2019 %E Benton, J. %E Lipovetzky, Nir %E Onaindia, Eva %E Smith, David E. %E Srivastava, Siddharth %I AAAI Press %K dblp %P 155-162 %T Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. %U http://dblp.uni-trier.de/db/conf/aips/icaps2019.html#GangeHS19

@inproceedings{conf/aips/GangeHS19, added-at = {2022-03-07T00:00:00.000+0100}, author = {Gange, Graeme and Harabor, Daniel and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2df20beb8e2d4e9d00cac6cd406a9c6ff/dblp}, booktitle = {ICAPS}, crossref = {conf/aips/2019}, editor = {Benton, J. and Lipovetzky, Nir and Onaindia, Eva and Smith, David E. and Srivastava, Siddharth}, ee = {https://ojs.aaai.org/index.php/ICAPS/article/view/3471}, interhash = {b02c008cb76d1dec0c8ef6d7bc5ab31e}, intrahash = {df20beb8e2d4e9d00cac6cd406a9c6ff}, keywords = {dblp}, pages = {155-162}, publisher = {AAAI Press}, timestamp = {2024-04-10T00:40:52.000+0200}, title = {Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation.}, url = {http://dblp.uni-trier.de/db/conf/aips/icaps2019.html#GangeHS19}, year = 2019 }