CP(Graph): Introducing a Graph Computation Domain in Constraint Programming

DOI10.1007/11564751_18MaRDI QIDQ3524175zbMATH OpenOpenAlexFDO

Authors

Publication date 9 September 2008

Published in Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11564751_18

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Programming involving graphs or networks (90C35)

Recommendations

• Combining Two Structured Domains for Modeling Various Graph Matching Problems
• scientific article; zbMATH DE number 1523001
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Constraint programming and graph algorithms.
• Solving subgraph isomorphism problems with constraint programming

Cited in

(21)

• Combining tree partitioning, precedence, and incomparability constraints
• Path finding approaches and metabolic pathways
• Global domain views for expressive and cross-domain constraint programming
• Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs
• Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
• Range-only SLAM with indistinguishable landmarks; a constraint programming approach
• The salesman and the tree: the importance of search in CP
• SAT modulo graphs: acyclicity
• Exact approaches for lifetime maximization in connectivity constrained wireless multi-role sensor networks
• MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers
• Filtering for Subgraph Isomorphism
• Constraint Programming Models for Graceful Graphs
• Bounds of graph parameters for global constraints
• Finding Maximum Common Connected Subgraphs Using Clique Detection or Constraint Satisfaction Algorithms
• scientific article; zbMATH DE number 2079801 (Why is no real title available?)
• scientific article; zbMATH DE number 1523001 (Why is no real title available?)
• scientific article; zbMATH DE number 7455732 (Why is no real title available?)
• Lazy constraint imposing for improving the path constraint
• Combining Two Structured Domains for Modeling Various Graph Matching Problems
• Solving subgraph isomorphism problems with constraint programming
• Global constraint catalogue: past, present and future

Describes a project that uses

Uses Software

• CPGraph

This page was built for publication: CP(Graph): Introducing a Graph Computation Domain in Constraint Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3524175)