Search Results for author: Geoffrey Chu

Found 4 papers, 0 papers with code

Projected Model Counting

no code implementations28 Jul 2015 Rehan Abdul Aziz, Geoffrey Chu, Christian Muise, Peter Stuckey

The task is to compute the number of assignments to P such that there exists an extension to 'non-priority' variables V\P that satisfies F. Projected model counting arises when some parts of the model are irrelevant to the counts, in particular when we require additional variables to model the problem we are counting in SAT.

Stable Model Counting and Its Application in Probabilistic Logic Programming

no code implementations20 Nov 2014 Rehan Abdul Aziz, Geoffrey Chu, Christian Muise, Peter Stuckey

Model counting is the problem of computing the number of models that satisfy a given propositional theory.

Grounding Bound Founded Answer Set Programs

no code implementations14 May 2014 Rehan Abdul Aziz, Geoffrey Chu, Peter James Stuckey

Next, we extend the bottom-up grounding technique and magic set transformation used by ASP to BFASP programs.

Structure Based Extended Resolution for Constraint Programming

no code implementations19 Jun 2013 Geoffrey Chu, Peter J. Stuckey

Nogood learning solvers can be seen as resolution proof systems.

Cannot find the paper you are looking for? You can Submit a new open access paper.