Stuckey, Peter James

2 publications

AAAI 2015 Stable Model Counting and Its Application in Probabilistic Logic Programming Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey

IJCAI 2013 Breaking Symmetries in Graph Representation Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey