Peter James Stuckey

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

Set Bounds Propagation

Boolean Functions

Graph Representation

Logic Programming

Top Venues

Publications

Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey
Stable Model Counting and Its Application in Probabilistic Logic Programming. AAAI (2015)
Graeme Gange, Peter James Stuckey, Vitaly Lagoon
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. CoRR (2014)
Rehan Abdul Aziz, Geoffrey Chu, Peter James Stuckey
Grounding Bound Founded Answer Set Programs. CoRR (2014)
Amit Metodi, Michael Codish, Peter James Stuckey
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. CoRR (2014)
Michael Codish, Alice Miller, Patrick Prosser, Peter James Stuckey
Breaking Symmetries in Graph Representation. IJCAI (2013)