swMATH8629MaRDI QIDQ20634FDOQ20634
Author name not available (Why is that?)
Official website: http://proteina.di.fct.unl.pt/casper
Cited In (10)
- Lazy constraint imposing for improving the path constraint
- View-based propagator derivation
- Promoting robust black-box solvers through competitions
- View-based propagation of decomposable constraints
- CLAIRE
- Cardinal
- BiGGER
- GRASPER
- Cardinal: a finite sets constraint solver
- Constraint programming in structural bioinformatics
This page was built for software: CaSPER
