2010 (1)

Fast d-DNNF Compilation with sharpSAT. Muise, C.; McIlraith, S.; Beck, J. C.; and McIlraith, S. A. 2010. In Workshop on Abstraction, Reformulation, and Approximation (AAAI-10), Atlanta, GA, USA. Fast d-DNNF Compilation with sharpSAT Bibtex

2009 (2)

Exploiting N-gram Analysis to Predict Operator Sequences. Muise, C.; McIlraith, S.; Baier, J. A.; and Reimer, M. 2009. In 19th International Conference on Automated Planning and Scheduling, Thessaloniki, Greece. Exploiting N-gram Analysis to Predict Operator Sequences Bibtex Exploiting N-gram Analysis to Predict Operator Sequences. Muise, C.; McIlraith, S.; Baier, J. A.; and Reimer, M. 2009. In Workshop on Planning and Learning (ICAPS 2009), Thessaloniki, Greece. Exploiting N-gram Analysis to Predict Operator Sequences Bibtex

2008 (1)

Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. Hsu, E. I.; Muise, C. J.; Beck, J. C.; and McIlraith, S. A. 2008. In Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, 613-617. Probabilistically Estimating Backbones and Variable Bias: Experimental Overview Probabilistically Estimating Backbones and Variable Bias: Experimental Overview Bibtex

Link To This Page.