CPGraph
From MaRDI portal
Software:20699
swMATH8697MaRDI QIDQ20699FDOQ20699
Author name not available (Why is that?)
Cited In (16)
- 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
- 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
