549 search results - page 29 / 110 » Constraint Programming in Structural Bioinformatics |
101
Voted
VLSID
1994
IEEE
15 years 4 months ago
1994
IEEE
In this paper, we present a formal analysis of the constraints of the scheduling problem, and evaluate the structure of the scheduling polytope described by those constraints. Pol...
112
Voted
APLAS
2011
ACM
14 years 13 days ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
102
click to vote
CPAIOR
2004
Springer
15 years 4 months ago
2004
Springer
The graph isomorphism problem consists in deciding if two given graphs have an identical structure. This problem can be modeled as a constraint satisfaction problem in a very strai...
80
Voted
CP
2009
Springer
15 years 7 months ago
2009
Springer
Multi-objective optimization is concerned with problems involving multiple measures of performance which should be optimized simultaneously. In this paper, we extend AND/OR Branch-...
108
click to vote
HEURISTICS
2008
14 years 11 months ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...