%0 Journal Article %1 journals/amai/EglyKLP17 %A Egly, Uwe %A Kronegger, Martin %A Lonsing, Florian %A Pfandler, Andreas %D 2017 %J Ann. Math. Artif. Intell. %K %N 1 %P 21-45 %T Conformant planning as a case study of incremental QBF solving. %U http://dblp.uni-trier.de/db/journals/amai/amai80.html#EglyKLP17 %V 80

@article{journals/amai/EglyKLP17, added-at = {2023-12-12T18:03:40.000+0100}, author = {Egly, Uwe and Kronegger, Martin and Lonsing, Florian and Pfandler, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/273cb4baae7114f5e543d4056bde84a6f/admin}, ee = {https://www.wikidata.org/entity/Q59529080}, interhash = {0cd7669102c417284abb4b92b9479c6f}, intrahash = {73cb4baae7114f5e543d4056bde84a6f}, journal = {Ann. Math. Artif. Intell.}, keywords = {}, number = 1, pages = {21-45}, timestamp = {2023-12-12T18:03:40.000+0100}, title = {Conformant planning as a case study of incremental QBF solving.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai80.html#EglyKLP17}, volume = 80, year = 2017 }