4335 search results - page 359 / 867 » Privatizing Constraint Optimization |
143
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
The transportation planning (TP) is well-known basic network problem. However, for some real-world applications, it is often that the TP model is extended to satisfy other additio...
138
click to vote
4OR
2004
15 years 4 months ago
2004
Most of the liberalized electricity systems use the auction as a market model. The complexity of the underlying optimization formulation depends on the technical and regulatory con...
152
click to vote
CONSTRAINTS
2010
15 years 2 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
154
Voted
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
134
click to vote
CP
1998
Springer
15 years 9 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...