Maria Garcia De La Banda


Ontology type: schema:Person     


Person Info

NAME

Maria Garcia

SURNAME

De La Banda

Publications in SciGraph latest 50 shown

  • 2018 Process Plant Layout Optimization: Equipment Allocation in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2018 Solver-Independent Large Neighbourhood Search in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2018 Towards Semi-Automatic Learning-Based Model Transformation in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2017 Context-Sensitive Dynamic Partial Order Reduction in COMPUTER AIDED VERIFICATION
  • 2017 An Optimization Model for 3D Pipe Routing with Flexibility Constraints in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2016 Learning from Learning Solvers in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2016-01 Visual search tree profiling in CONSTRAINTS
  • 2015-04 A method for detecting symmetries in constraint models and its generalisation in CONSTRAINTS
  • 2014-10 Symmetries, almost symmetries, and lazy clause generation in CONSTRAINTS
  • 2014-07 Lightweight dynamic symmetry breaking in CONSTRAINTS
  • 2014-04 The future of optimization technology in CONSTRAINTS
  • 2013-10 Redundant disequalities in the Latin Square problem in CONSTRAINTS
  • 2013 Globalizing Constraint Models in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2012-01 Exploiting subproblem dominance in constraint programming in CONSTRAINTS
  • 2010 Automatically Exploiting Subproblem Equivalence in Constraint Programming in INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS
  • 2009-12 On implementing symmetry detection in CONSTRAINTS
  • 2009 Using Relaxations in Maximum Density Still Life in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2009
  • 2008-09 The Design of the Zinc Modelling Language in CONSTRAINTS
  • 2008 A Novel Approach For Detecting Symmetries in CSP Models in INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS
  • 2008 Adding Search to Zinc in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2006 The Modelling Language Zinc in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006
  • 2006 From Zinc to Design Model in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2005 Adding Constraint Solving to Mercury in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2005 The G12 Project: Mapping Solver Independent Models to Efficient Solutions in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005
  • 2005 The G12 Project: Mapping Solver Independent Models to Efficient Solutions in LOGIC PROGRAMMING
  • 2004 Herbrand Constraints in HAL in PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC
  • 2004 A Generic Framework for Context-Sensitive Analysis of Modular Programs in PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC
  • 2004 Set-Sharing Is Not Always Redundant for Pair-Sharing in FUNCTIONAL AND LOGIC PROGRAMMING
  • 2004 Compiling Ask Constraints in LOGIC PROGRAMMING
  • 2004 The Refined Operational Semantics of Constraint Handling Rules in LOGIC PROGRAMMING
  • 2002-10-24 To the Gates of HAL: A HAL Tutorial in FUNCTIONAL AND LOGIC PROGRAMMING
  • 2002 Trailing Analysis for HAL in LOGIC PROGRAMMING
  • 2001 Building Constraint Solvers with HAL in LOGIC PROGRAMMING
  • 2001 Optimizing Compilation of Constraint Handling Rules in LOGIC PROGRAMMING
  • 2001 A Model for Inter-module Analysis and Optimizing Compilation in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2000 Mode Checking in HAL in COMPUTATIONAL LOGIC — CL 2000
  • 1999 An Overview of HAL in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING – CP’99
  • 1996 Towards independent and-parallelism in CLP in PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS, AND PROGRAMS
  • 1996 Independence in dynamically scheduled logic languages in ALGEBRAIC AND LOGIC PROGRAMMING
  • 1994 Goal dependent vs. goal independent analysis of logic programs in LOGIC PROGRAMMING AND AUTOMATED REASONING
  • 1994 Towards a concurrent semantics based analysis of CC and CLP in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • Affiliations

  • Monash University (current)
  • 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": "https://www.grid.ac/institutes/grid.1002.3", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "De La Banda", 
        "givenName": "Maria Garcia", 
        "id": "sg:person.016350443307.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:07", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1886.json", 
        "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.016350443307.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.016350443307.93'

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...