CPGraph

swMATH8697MaRDI QIDQ20699FDOQ20699

Author name not available (Why is that?)

Official website: http://cpgraph.info.ucl.ac.be/

Cited In (26)

• Lazy constraint imposing for improving the path constraint
• Solving quantifier-free first-order constraints over finite sets and binary relations
• Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
• Global constraint catalogue: past, present and future
• Exact approaches for lifetime maximization in connectivity constrained wireless multi-role sensor networks
• Solving subgraph isomorphism problems with constraint programming
• Global domain views for expressive and cross-domain constraint programming
• Title not available (Why is that?)
• Bounds of graph parameters for global constraints
• TSPTW
• Cardinal
• CaSPER
• GRASPER
• Lynx
• MathCheck
• Combining Two Structured Domains for Modeling Various Graph Matching Problems
• GraphGrep
• SageSAT
• MSLAM
• OMG
• Combining tree partitioning, precedence, and incomparability constraints
• Range-only SLAM with indistinguishable landmarks; a constraint programming approach
• Finding Maximum Common Connected Subgraphs Using Clique Detection or Constraint Satisfaction Algorithms
• CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
• Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs
• MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers

This page was built for software: CPGraph