Author: Christian Muise [RDF, Bibtex, BibBase] has 5 publications

You may be referring to (disambiguation):


Fast d-DNNF Compilation with sharpSAT Christian Muise, Sheila McIlraith, J. Christopher Beck, Sheila McIlraith. Workshop on Abstraction, Reformulation, and Approximation (AAAI-10) 2010


Exploiting N-gram Analysis to Predict Operator Sequences Christian Muise, Sheila McIlraith, Jorge A. Baier, Michael Reimer. 19th International Conference on Automated Planning and Scheduling 2009


Exploiting N-gram Analysis to Predict Operator Sequences Christian Muise, Sheila McIlraith, Jorge A. Baier, Michael Reimer. Workshop on Planning and Learning (ICAPS 2009) 2009


Exploiting N-gram Analysis to Predict Operator Sequences Christian Muise, Sheila McIlraith, Jorge A. Baier, Michael Reimer. 19th International Conference on Automated Planning and Scheduling 2009


Probabilistically Estimating Backbones and Variable Bias: Experimental Overview Eric I. Hsu, Christian Muise, J. Christopher Beck, Sheila McIlraith. Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings 613-617 2008