Geoffrey Chu

Identifiers

No identifiers captured yet.

Papers (4)

1. Projected Model Counting cs.AI · 2015 · author #2
2. Stable Model Counting and Its Application in Probabilistic Logic Programming cs.AI · 2014 · author #2
3. Grounding Bound Founded Answer Set Programs cs.AI · 2014 · author #2
4. Structure Based Extended Resolution for Constraint Programming cs.AI · 2013 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Rehan Abdul Aziz 3 shared papers
• Christian Muise 2 shared papers
• Peter Stuckey 2 shared papers
• Peter James Stuckey 1 shared papers
• Peter J. Stuckey 1 shared papers