Conformant Planning as a Case Study of Incremental QBF Solving (bibtex)
by Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
Reference:
Conformant Planning as a Case Study of Incremental QBF SolvingUwe Egly, Martin Kronegger, Florian Lonsing, Andreas PfandlerAISC, 2014.
Bibtex Entry:
@article{DBLP:journals/corr/EglyKLP14,
  author    = {Uwe Egly and
               Martin Kronegger and
               Florian Lonsing and
               Andreas Pfandler},
  title     = {Conformant Planning as a Case Study of Incremental {QBF} Solving},
  journal   = {AISC},
  year      = {2014},
  url       = {http://arxiv.org/abs/1405.7253},
}
Powered by bibtexbrowser