CPGraph
From MaRDI portal
Cited in
(27)- Solving quantifier-free first-order constraints over finite sets and binary relations
- Lazy constraint imposing for improving the path constraint
- 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
- NP-SPEC
- TSPTW
- Cardinal
- CaSPER
- GRASPER
- Lynx
- MathCheck
- GraphGrep
- SageSAT
- MSLAM
- OMG
- Global domain views for expressive and cross-domain constraint programming
- scientific article; zbMATH DE number 7455732 (Why is no real title available?)
- Bounds of graph parameters for global constraints
- Combining Two Structured Domains for Modeling Various Graph Matching Problems
- 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
