Peter James Stuckey


Ontology type: schema:Person     


Person Info

NAME

Peter James

SURNAME

Stuckey

Publications in SciGraph latest 50 shown

  • 2021-12-03 Lightweight Nontermination Inference with CHCs in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2021-10-13 Disjunctive Interval Analysis in STATIC ANALYSIS
  • 2021-09-28 Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections in ELECTRONIC VOTING
  • 2021-09-17 Auditing Hamiltonian Elections in FINANCIAL CRYPTOGRAPHY AND DATA SECURITY. FC 2021 INTERNATIONAL WORKSHOPS
  • 2021-02-13 Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2020-09-25 Shifting the Balance-of-Power in STV Elections in ELECTRONIC VOTING
  • 2020-09-25 Random Errors Are Not Necessarily Politically Neutral in ELECTRONIC VOTING
  • 2020-09-19 Robust Resource Planning for Aircraft Ground Operations in INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH
  • 2020-09-19 Core-Guided and Core-Boosted Search for CP in INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH
  • 2020-09-08 Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check in SN OPERATIONS RESEARCH FORUM
  • 2020-09-02 The Argmax Constraint in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2020-09-02 Computing Optimal Decision Sets with SAT in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2020-09-02 Dashed Strings and the Replace(-all) Constraint in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2020-09-02 Large Neighborhood Search for Temperature Control with Demand Response in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2020-09-02 Exact Approaches to the Multi-agent Collective Construction Problem in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2020-09-02 Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2020-09-02 Solving Satisfaction Problems Using Large-Neighbourhood Search in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2020-09-02 Aggregation and Garbage Collection for Online Optimization in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2020-03-13 Election Manipulation 100 in FINANCIAL CRYPTOGRAPHY AND DATA SECURITY
  • 2020-01-14 Logistics optimization for a coal supply chain in JOURNAL OF HEURISTICS
  • 2019-11-18 Dissecting Widening: Separating Termination from Information in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2019-09-24 Election Manipulation with Partial Information in ELECTRONIC VOTING
  • 2019-09-23 Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2019-09-23 Exploring Declarative Local-Search Neighbourhoods with Constraint Programming in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2019-09-23 Compiling Conditional Constraints in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2019-09-23 Peak-Hour Rail Demand Shifting with Discrete Optimisation in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2019-04-28 An Investigation into Prediction + Optimisation for the Knapsack Problem in INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH
  • 2019-04-28 Core-Boosted Linear Search for Incomplete MaxSAT in INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH
  • 2019-04-28 Time Table Edge Finding with Energy Variables in INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH
  • 2019-04-28 Constraint Programming for Dynamic Symbolic Execution of JavaScript in INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH
  • 2019-04-28 Local Rapid Learning for Integer Programs in INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH
  • 2019-04-04 Information-Theoretic Inference of an Optimal Dictionary of Protein Supersecondary Structures in PROTEIN SUPERSECONDARY STRUCTURES
  • 2019-01-23 Semi-supervised Blockmodelling with Pairwise Guidance in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES
  • 2018-11-09 Compiling CP subproblems to MDDs and d-DNNFs in CONSTRAINTS
  • 2018-11-08 Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation in JOURNAL OF AUTOMATED REASONING
  • 2018-09-06 Computing the Margin of Victory in Preferential Parliamentary Elections in ELECTRONIC VOTING
  • 2018-09-06 Ballot-Polling Risk Limiting Audits for IRV Elections in ELECTRONIC VOTING
  • 2018-08-25 Constraints for symmetry breaking in graph representation in CONSTRAINTS
  • 2018-08-23 Propagating Regular Membership with Dashed Strings in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2018-08-23 Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2018-08-23 Solver-Independent Large Neighbourhood Search in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2018-08-23 Sequential Precede Chain for Value Symmetry Elimination in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2018-06-08 Solver Independent Rotating Workforce Scheduling in INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH
  • 2018-06-08 Propagating lex, find and replace with Dashed Strings in INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH
  • 2018-06-08 Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts in INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH
  • 2018-04-24 Breaking Symmetries with Lex Implications in FUNCTIONAL AND LOGIC PROGRAMMING
  • 2017-09-27 Fixing the State Budget: Approximation of Regular Languages with Small DFAs in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2017-08-23 A Novel Approach to String Constraint Solving in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2017-08-23 A Declarative Approach to Constrained Community Detection in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2017-08-09 A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING – SAT 2017
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.1002.3", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.425461.0", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.46078.3d", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.1005.4", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.482873.2", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5608.b", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5690.a", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.1008.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.29857.31", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.1016.6", 
            "type": "Organization"
          }
        ], 
        "familyName": "Stuckey", 
        "givenName": "Peter James", 
        "id": "sg:person.012243374043.93", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0003-2186-0459"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93", 
          "https://orcid.org/0000-0003-2186-0459"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:56", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_709.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.012243374043.93'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.012243374043.93'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.012243374043.93'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.012243374043.93'


     

    This table displays all metadata directly associated to this object as RDF triples.

    39 TRIPLES      11 PREDICATES      22 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.012243374043.93 schema:affiliation N6d13938a48c24a1186a04b191ba3047c
    2 grid-institutes:grid.1005.4
    3 grid-institutes:grid.1008.9
    4 grid-institutes:grid.1016.6
    5 grid-institutes:grid.29857.31
    6 grid-institutes:grid.425461.0
    7 grid-institutes:grid.46078.3d
    8 grid-institutes:grid.482873.2
    9 grid-institutes:grid.5608.b
    10 grid-institutes:grid.5690.a
    11 schema:familyName Stuckey
    12 schema:givenName Peter James
    13 schema:identifier N66a5daebdb014b23a0830d22fb74a49b
    14 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93
    15 https://orcid.org/0000-0003-2186-0459
    16 schema:sdDatePublished 2022-01-01T19:56
    17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    18 schema:sdPublisher Nddce96c6ca704531ab713bee3914ad13
    19 sgo:license sg:explorer/license/
    20 sgo:sdDataset persons
    21 rdf:type schema:Person
    22 N66a5daebdb014b23a0830d22fb74a49b schema:name orcid_id
    23 schema:value 0000-0003-2186-0459
    24 rdf:type schema:PropertyValue
    25 N6d13938a48c24a1186a04b191ba3047c schema:affiliation grid-institutes:grid.1002.3
    26 sgo:isCurrent true
    27 rdf:type schema:OrganizationRole
    28 Nddce96c6ca704531ab713bee3914ad13 schema:name Springer Nature - SN SciGraph project
    29 rdf:type schema:Organization
    30 grid-institutes:grid.1002.3 schema:Organization
    31 grid-institutes:grid.1005.4 schema:Organization
    32 grid-institutes:grid.1008.9 schema:Organization
    33 grid-institutes:grid.1016.6 schema:Organization
    34 grid-institutes:grid.29857.31 schema:Organization
    35 grid-institutes:grid.425461.0 schema:Organization
    36 grid-institutes:grid.46078.3d schema:Organization
    37 grid-institutes:grid.482873.2 schema:Organization
    38 grid-institutes:grid.5608.b schema:Organization
    39 grid-institutes:grid.5690.a schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...