Peter James Stuckey

Identifiers

• name variant Peter James Stuckey 0.60 · backfill

Papers (3)

1. Grounding Bound Founded Answer Set Programs cs.AI · 2014 · author #3
2. Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems cs.AI · 2014 · author #3
3. Fast Set Bounds Propagation Using a BDD-SAT Hybrid cs.AI · 2014 · author #2

Mentions

• 1405.3362 #3 · backfill · confidence 0.70 Peter James Stuckey
• 1402.0568 #3 · backfill · confidence 0.70 Peter James Stuckey
• 1401.3846 #2 · backfill · confidence 0.70 Peter James Stuckey

Frequent Coauthors

• Amit Metodi 1 shared papers
• Geoffrey Chu 1 shared papers
• Graeme Gange 1 shared papers
• Michael Codish 1 shared papers
• Rehan Abdul Aziz 1 shared papers
• Vitaly Lagoon 1 shared papers