CPGraph
From MaRDI portal
Software:20699
No author found.
Related Items (16)
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures ⋮ 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 ⋮ Combining Two Structured Domains for Modeling Various Graph Matching Problems ⋮ Global domain views for expressive and cross-domain constraint programming ⋮ Range-only SLAM with indistinguishable landmarks; a constraint programming approach ⋮ Global constraint catalogue: past, present and future ⋮ Solving subgraph isomorphism problems with constraint programming ⋮ Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs ⋮ CP(Graph): Introducing a Graph Computation Domain in Constraint Programming ⋮ Unnamed Item ⋮ Bounds of graph parameters for global constraints ⋮ Lazy Constraint Imposing for Improving the Path Constraint ⋮ Finding Maximum Common Connected Subgraphs Using Clique Detection or Constraint Satisfaction Algorithms ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Combining tree partitioning, precedence, and incomparability constraints
This page was built for software: CPGraph
