pith. sign in

Peter Stuckey

Identifiers

  • name variant Peter Stuckey 0.60 · backfill

Papers (3)

  1. Projected Model Counting cs.AI · 2015 · author #4
  2. Stable Model Counting and Its Application in Probabilistic Logic Programming cs.AI · 2014 · author #4
  3. Lazy Model Expansion: Interleaving Grounding with Search cs.LO · 2014 · author #3

Mentions

  • 1507.07648 #4 · backfill · confidence 0.70 Peter Stuckey
  • 1411.5410 #4 · backfill · confidence 0.70 Peter Stuckey
  • 1402.6889 #3 · backfill · confidence 0.70 Peter Stuckey

Frequent Coauthors