PSICO
From MaRDI portal
Software:22862
swMATH10910MaRDI QIDQ22862FDOQ22862
Author name not available (Why is that?)
Cited In (9)
- Fast bound consistency for the global cardinality constraint
- Interval unions
- Protein folding simulation by two-stage optimization
- Rigorous filtering using linear relaxations
- Constraint propagation on quadratic constraints
- Applying Constraint Programming to Rigid Body Protein Docking
- A framework for constructing complete algorithms based on local search
- PSICO: Solving protein structures with constraint programming and optimization
- Advances in Artificial Intelligence – SBIA 2004
This page was built for software: PSICO