Filters
Constraint Programming: A Survey of Solving Technology
Constraint Programming: A Survey of Solving Technology...
BA - Obecná matematika
- 1999 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Estimating the Region of Attraction of Ordinary Differential Equations by Quantified Constraint Solving
We formulate the problem of estimating the region of attraction using quantified constraints and show how the resulting constraints can be solved using existing software packages. We discuss the advantages of resulting meth...
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
System RSOLVER
RSolver is a program for solving quantified inequality constraints. Problems like projecting the solution set of a set of inequality constraints to two dimensions, or parametric robust stability of linear differential equat...
IN - Informatika
- 2006 •
- X
Rok uplatnění
X - Nezařazeno
Modelling and Solving Scheduling Problems using Constraint Programming
The paper describes techniques for solving integrated planning and scheduling problem that we developed in MAKE and FlowOpt systems.
IN - Informatika
- 2011 •
- O
Rok uplatnění
O - Ostatní výsledky
Solving String Constraints with Approximate Parikh Image
of finite automata to resolve string length constraints. We integrate this abstraction into the string solver SLOTH, where on top of handling length constraints, our abstraction is also used to speed-up solving other types...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Constraint Processing
A survey of constraint satisfaction technology, introduction of fundamental notions and description of existing solving techniques.
JC - Počítačový hardware a software
- 2008 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Constraint Models for Sequential Planning
The paper describes constraint models for solving planning problems.
JC - Počítačový hardware a software
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
PICoSo: An SMT Solver for String Constraints
PICoSo contains an extended decision procedure for the straight-line fragment. In contrast to Sloth, PICoSo is able to solve constraints combining concatenation, regular expressions, transduction and length constraints. PIC...
Computer hardware and architecture
- 2019 •
- R •
- Link
Rok uplatnění
R - Software
Výsledek na webu
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure
of non-linear arithmetic constraints involving transcendental functions, we provide a tight integration of recent SAT solving techniques with interval-based arithmetic constraintsolving. As a consequence, our approach is able to ha...
BA - Obecná matematika
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Scheduling with Soft CLP(FD) Solver
The implementation of the Soft CLP(FD) solver is presented. The solver can be applied to solve general problems with both hard and soft constraints. The representatives of the problems which can be solved with the solver ar...
IN - Informatika
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 35 848