536 search results - page 27 / 108 » A Translational Approach to Constraint Answer Set Solving |
136
click to vote
JAIR
2010
15 years 2 months ago
2010
Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques incur the si...
95
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
The PLATYPUS approach offers a generic platform for distributed answer set solving, accommodating a variety of different architectures for distributing the search for answer sets a...
110
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
In a constraint-drivenlayout synthesisenvironment,parasitic constraints are generated and implemented in each phase of the design process to meet a given set of performance specif...
134
click to vote
ESA
2010
Springer
15 years 4 months ago
2010
Springer
We report on the solution of a real-time scheduling problem that arises in the design of software-based operation control of aircraft. A set of tasks has to be distributed on a min...
152
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...