CaSPER

swMATH8629MaRDI QIDQ20634FDOQ20634

Author name not available (Why is that?)

Cited In (6)

• View-based propagator derivation
• Promoting robust black-box solvers through competitions
• View-based propagation of decomposable constraints
• Lazy Constraint Imposing for Improving the Path Constraint
• Cardinal: a finite sets constraint solver
• Constraint programming in structural bioinformatics

This page was built for software: CaSPER