Вы здесь

Главная

решатель

Связанные издания:

A Component Language for Hybrid Solver Cooperations
A Model of Cooperative Solvers for Computational Problems
A reliable linear constraint solver for the UniCalc system
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Constraint-based analysis of composite solvers
Genetic Programming: Proc./12th European Conference, EuroGP 2009. Tuebingen, Germany, April 2009
High Performance Computing in Science and Engineering: Revised Selected Papers/4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 2019
Integrating Multiple Implementations and Structure Exploitation in the Component-Based Design of Parallel ODE Solvers
LGS: Geometric Constraint Solver
Principles and Practice of Constraint Programming - CP 2003: Proc./9th Intern. Conf., CP 2003, Kinsale, Ireland, September-October 2003
Recent Advances in Constraints: Revised Selected Papers/13th Annual ERCIM International Workshop, CSCLP 2008, Rome, Italy, June 2008
Separating Search and Strategy in Solver Cooperations
Theory and Applications of Satisfiability Testing: Revised Selected Papers/7th International Conference, SAT 2004. Vancouver, BC, Canada, May 2004
Using Constraint Solvers in CAD/CAM Systems
Verification Constraint Problem with Strengthening
Некоторые вопросы построения пакетов прикладных программ как решателей типовых задач