Pith. sign in

Researcher Evidence Record

Peter J. Stuckey

This bounded record lists 82 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include cs.AI, cs.PL, cs.CY work dated 2000 to 2026. The record describes sources and coverage; it makes no judgment about the person.

Compiled coverage vector

Measured lane counts only. Not a trust score or person verdict.

Identity 2 canonical identity row plus typed public identifiers Pith papers 82 attributed paper rows in the Pith corpus, itemized below Imported works 0 imported works beyond the paper ledger Current reviews 3 of 82 papers carrying a current Pith review; presence, not outcome Sourced citations 5 of 82 works with a source-named citation count Coauthors 50 distinct coauthors across shared paper rows
Enumerated paper scope: 15 fields (cs.AI, cs.PL, cs.CY, +12 more) · 2000-2026 sources: authors, author_identifiers · paper_authors · author_works · current_verdicts · cited_works

A sourced case file for attributed work. It is neither a profile score nor a verdict about this researcher.

Attributed works

A bounded ledger from the Pith paper and imported-work queries. Counts and source confidence stay with each work.

  1. 2026 Pith paper

    Advances in STV Margin Computation

    cs.GT provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  2. 2026 Pith paper

    Global Difference Constraint Propagation for Constraint Programming

    cs.AI provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  3. 2026 Pith paper

    A Formal Framework for the Explanation of Finite Automata Decisions

    cs.AI provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    backfill
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  4. 2025 Pith paper

    Flow-Based Task Assignment for Large-Scale Online Multi-Agent Pickup and Delivery

    cs.MA provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  5. 2025 Pith paper

    Most General Explanations of Tree Ensembles (Extended Version)

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  6. 2025 Pith paper

    Hier-SLAM++: Neuro-Symbolic Semantic SLAM with a Hierarchically Categorical Gaussian Splatting

    cs.RO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  7. 2025 Pith paper

    NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning

    cs.CV provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    6
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  8. 2025 Pith paper

    Efficient Lower Bounding of Single Transferable Vote Election Margins

    cs.GT provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  9. 2024 Pith paper

    Timetable Nodes for Public Transport Network

    cs.DS provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  10. 2024 Pith paper

    Formal Explanations for Neuro-Symbolic AI

    cs.AI provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  11. 2024 Pith paper

    Idiosyncratic properties of Australian STV election counting

    cs.CY provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  12. 2024 Pith paper

    Improving the Computational Efficiency of Adaptive Audits of IRV Elections

    cs.CY provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  13. 2024 Pith paper

    GeckoGraph: A Visual Language for Polymorphic Types

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  14. 2024 Pith paper

    Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets

    cs.HC provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  15. 2024 Pith paper

    Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections

    cs.CY provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  16. 2024 Pith paper

    RLAs for 2-Seat STV Elections: Revisited

    cs.GT provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  17. 2023 Pith paper

    Anytime Approximate Formal Feature Attribution

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  18. 2023 Pith paper

    Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  19. 2023 Pith paper

    The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences

    q-bio.QM provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  20. 2023 Pith paper

    Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE

    stat.AP provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  21. 2023 Pith paper

    Lifted Sequential Planning with Lazy Constraint Generation Solvers

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  22. 2023 Pith paper

    On Formal Feature Attribution and Its Approximation

    cs.AI provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  23. 2023 Pith paper

    Reducing Redundant Work in Jump Point Search

    cs.RO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  24. 2023 Pith paper

    Scalable Rail Planning and Replanning with Soft Deadlines

    cs.RO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  25. 2023 Pith paper

    Tracking Progress in Multi-Agent Path Finding

    cs.AI provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 5 external cited by from arxiv_reference
    • 1 pith inbound references from cited_work_pith_inbound_counts
  26. 2023 Pith paper

    Risk-Limiting Audits for Condorcet Elections

    cs.CY provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  27. 2023 Pith paper

    ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration

    cs.HC provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  28. 2022 Pith paper

    Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model

    stat.AP provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  29. 2022 Pith paper

    Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps

    stat.AP provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  30. 2022 Pith paper

    Eliminating The Impossible, Whatever Remains Must Be True

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  31. 2022 Pith paper

    Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit

    stat.AP provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  32. 2021 Pith paper

    A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections

    cs.CY provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  33. 2021 Pith paper

    Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery

    cs.MA provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 0 external cited by from pith
    • 1 pith inbound references from cited_work_pith_inbound_counts
  34. 2021 Pith paper

    Transformation-Enabled Precondition Inference

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  35. 2021 Pith paper

    Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  36. 2021 Pith paper

    Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections

    cs.CY provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  37. 2021 Pith paper

    Pairwise Symmetry Reasoning for Multi-Agent Path Finding Search

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  38. 2021 Pith paper

    Symmetry Breaking for k-Robust Multi-Agent Path Finding

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  39. 2021 Pith paper

    Auditing Hamiltonian Elections

    cs.CY provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  40. 2021 Pith paper

    A Scalable Two Stage Approach to Computing Optimal Decision Sets

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  41. 2020 Pith paper

    Divide and Learn: A Divide and Conquer Approach for Predict+Optimize

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    6
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  42. 2020 Pith paper

    Optimal Decision Lists using SAT

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  43. 2020 Pith paper

    Optimal Decision Trees for Nonlinear Metrics

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  44. 2020 Pith paper

    Computing Optimal Decision Sets with SAT

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  45. 2020 Pith paper

    MurTree: Optimal Classification Trees via Dynamic Programming and Search

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    8
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  46. 2020 Pith paper

    Random errors are not necessarily politically neutral

    cs.CY provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  47. 2020 Pith paper

    You can do RLAs for IRV

    cs.CY provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    6
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  48. 2019 Pith paper

    RAIRE: Risk-Limiting Audits for IRV Elections

    cs.DS provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  49. 2019 Pith paper

    Local Rapid Learning for Integer Programs

    math.OC provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  50. 2018 Pith paper

    Solution Dominance over Constraint Satisfaction Problems

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  51. 2018 Pith paper

    Searching with Consistent Prioritization for Multi-Agent Path Finding

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  52. 2018 Pith paper

    Precondition Inference via Partitioning of Initial States

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  53. 2018 Pith paper

    Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  54. 2018 Pith paper

    An iterative approach to precondition inference using constrained Horn clauses

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    6
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  55. 2017 Pith paper

    Computing the Margin of Victory in Preferential Parliamentary Elections

    cs.DS provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  56. 2017 Pith paper

    Towards Computing Victory Margins in STV Elections

    cs.GT provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  57. 2016 Pith paper

    MiniZinc with Strings

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  58. 2015 Pith paper

    Unsatisfiable Cores and Lower Bounding for Constraint Programming

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  59. 2015 Pith paper

    Efficient Computation of Exact IRV Margins

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  60. 2015 Pith paper

    Horn Clauses as an Intermediate Representation for Program Analysis and Transformation

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  61. 2014 Pith paper

    A Complete Refinement Procedure for Regular Separability of Context-Free Languages

    cs.FL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  62. 2014 Pith paper

    A Partial-Order Approach to Array Content Analysis

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  63. 2013 Pith paper

    Statistical Inference of a canonical dictionary of protein substructural fragments

    q-bio.QM provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  64. 2013 Pith paper

    Structure Based Extended Resolution for Constraint Programming

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  65. 2013 Pith paper

    Unsatisfiable Cores for Constraint Programming

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  66. 2012 Pith paper

    Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  67. 2012 Pith paper

    Search Combinators

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  68. 2011 Pith paper

    Boolean Equi-propagation for Optimized SAT Encoding

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  69. 2010 Pith paper

    Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  70. 2007 Pith paper

    Incremental Satisfiability and Implication for UTVPI Constraints

    cs.DS provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  71. 2007 Pith paper

    Logic Programming with Satisfiability

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  72. 2006 Pith paper

    Efficient constraint propagation engines

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  73. 2006 Pith paper

    ACD Term Rewriting

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  74. 2005 Pith paper

    Solving Partial Order Constraints for LPO Termination

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  75. 2005 Pith paper

    Type Inference for Guarded Recursive Data Types

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  76. 2005 Pith paper

    Improving PARMA Trailing

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  77. 2004 Pith paper

    Removing Propagation Redundant Constraints in Redundant Modeling

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  78. 2004 Pith paper

    Finite Domain Bounds Consistency Revisited

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  79. 2004 Pith paper

    Checking modes of HAL programs

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  80. 2004 Pith paper

    Optimizing compilation of constraint handling rules in HAL

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  81. 2003 Pith paper

    The Chameleon Type Debugger (Tool Demonstration)

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  82. 2000 Pith paper

    Type Classes and Constraint Handling Rules

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Peter J. Stuckey
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.

Evidence apparatus

The machinery behind this record. Every lane states whether Pith measured it, did not query it, could not reach it, or withheld it.

LaneStateObservedBoundary and source
identity Measured 2 Canonical identity row plus public typed identifiers.
source=authors, author_identifiers
papers Measured 82 of 82 bounded rows Rows attributed to this author UUID in the Pith corpus.
source=paper_authors
works Measured zero 0 of 0 bounded rows Imported works not duplicated by the paper ledger.
source=author_works
reviews Measured 3 of 82 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured 5 of 82 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 50 of 82 bounded rows Shared-work edges from admitted paper rows.
source=paper_authors
account Unavailable No public count of 1 bounded rows Account metadata is separate from corpus evidence.
source=users.author_id
Public identity sources
  • name variant
    Peter J. Stuckey     backfill
    confidence 0.6

identity history

Enumerated research scope

Fields and dates come only from enumerated, non-disputed Pith paper rows. They do not claim career completeness.

  • cs.AI26 rows
  • cs.PL14 rows
  • cs.CY9 rows
  • cs.LO6 rows
  • cs.DS4 rows
  • cs.GT4 rows
  • stat.AP4 rows
  • cs.LG3 rows
  • cs.RO3 rows
  • cs.HC2 rows
  • cs.MA2 rows
  • q-bio.QM2 rows
  • cs.CV1 rows
  • cs.FL1 rows
  • math.OC1 rows
  • 20001 rows
  • 20031 rows
  • 20044 rows
  • 20053 rows
  • 20062 rows
  • 20072 rows
  • 20101 rows
  • 20111 rows
  • 20122 rows
  • 20133 rows
  • 20142 rows
  • 20153 rows
  • 20161 rows
  • 20172 rows
  • 20185 rows
  • 20192 rows
  • 20207 rows
  • 20219 rows
  • 20224 rows
  • 202311 rows
  • 20248 rows
  • 20255 rows
  • 20263 rows
Shared-work index
Record scope

The work queries are bounded. Missing rows may mean measured zero, an unavailable source, a query that did not run, or private data that Pith withheld. The lane table keeps those cases separate.

Paper findings remain attached to papers. They do not become findings about this researcher.