CPGraph
From MaRDI portal
Software:20699
swMATH8697MaRDI QIDQ20699FDOQ20699
Author name not available (Why is that?)
Cited In (16)
- 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
- MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
- 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
- Lazy Constraint Imposing for Improving the Path Constraint
- 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
This page was built for software: CPGraph
