Author: J. Christopher Beck [RDF, Bibtex, BibBase] has 6 publications


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


Applying Probabilistic Inference to Heuristic Search by Estimating Variable Bias Eric Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith. Proceedings of the 1st International Symposium on Search Techniques in Artificial Intelligence and Robotics (at AAAI08) 2008


Probabilistically Estimating Backbones and Variable Bias: Experimental Overview Eric Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith. Proceedings of The 14th International Conference on Principles and Practice of Constraint Programming 2008


Applying Probabilistic Inference to Heuristic Search by Estimating Variable Bias Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila McIlraith. Proceedings of the 1st International Symposium on Search Techniques in Artificial Intelligence and Robotics (at AAAI08) 2008


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


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