pith. sign in

Peter J. Stuckey

Identifiers

  • name variant Peter J. Stuckey 0.60 · backfill

Papers (34)

  1. A Formal Framework for the Explanation of Finite Automata Decisions cs.AI · 2026 · author #3
  2. Local Rapid Learning for Integer Programs math.OC · 2019 · author #2
  3. Solution Dominance over Constraint Satisfaction Problems cs.AI · 2018 · author #2
  4. Searching with Consistent Prioritization for Multi-Agent Path Finding cs.AI · 2018 · author #3
  5. Precondition Inference via Partitioning of Initial States cs.LO · 2018 · author #5
  6. Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018) cs.LO · 2018 · author #2
  7. An iterative approach to precondition inference using constrained Horn clauses cs.LO · 2018 · author #6
  8. Computing the Margin of Victory in Preferential Parliamentary Elections cs.DS · 2017 · author #2
  9. Towards Computing Victory Margins in STV Elections cs.GT · 2017 · author #2
  10. MiniZinc with Strings cs.PL · 2016 · author #5
  11. Unsatisfiable Cores and Lower Bounding for Constraint Programming cs.LO · 2015 · author #3
  12. Efficient Computation of Exact IRV Margins cs.AI · 2015 · author #2
  13. A Complete Refinement Procedure for Regular Separability of Context-Free Languages cs.FL · 2014 · author #5
  14. A Partial-Order Approach to Array Content Analysis cs.PL · 2014 · author #5
  15. Statistical Inference of a canonical dictionary of protein substructural fragments q-bio.QM · 2013 · author #4
  16. Structure Based Extended Resolution for Constraint Programming cs.AI · 2013 · author #2
  17. Unsatisfiable Cores for Constraint Programming cs.LO · 2013 · author #3
  18. Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint cs.AI · 2012 · author #3
  19. Search Combinators cs.AI · 2012 · author #5
  20. Boolean Equi-propagation for Optimized SAT Encoding cs.AI · 2011 · author #4
  21. Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation cs.AI · 2010 · author #3
  22. Incremental Satisfiability and Implication for UTVPI Constraints cs.DS · 2007 · author #2
  23. Logic Programming with Satisfiability cs.PL · 2007 · author #3
  24. Efficient constraint propagation engines cs.AI · 2006 · author #2
  25. ACD Term Rewriting cs.PL · 2006 · author #2
  26. Solving Partial Order Constraints for LPO Termination cs.PL · 2005 · author #3
  27. Type Inference for Guarded Recursive Data Types cs.PL · 2005 · author #1
  28. Improving PARMA Trailing cs.PL · 2005 · author #4
  29. Removing Propagation Redundant Constraints in Redundant Modeling cs.LO · 2004 · author #3
  30. Finite Domain Bounds Consistency Revisited cs.AI · 2004 · author #4
  31. Checking modes of HAL programs cs.PL · 2004 · author #4
  32. Optimizing compilation of constraint handling rules in HAL cs.PL · 2004 · author #3
  33. The Chameleon Type Debugger (Tool Demonstration) cs.PL · 2003 · author #1
  34. Type Classes and Constraint Handling Rules cs.PL · 2000 · author #3

Mentions

  • 1208.3015 #3 · backfill · confidence 0.70 Peter J. Stuckey
  • 1203.1095 #5 · backfill · confidence 0.70 Peter J. Stuckey
  • 1104.4617 #4 · backfill · confidence 0.70 Peter J. Stuckey
  • 1009.0347 #3 · backfill · confidence 0.70 Peter J. Stuckey
  • 0709.2961 #2 · backfill · confidence 0.70 Peter J. Stuckey

Frequent Coauthors