2398 search results - page 414 / 480 » Constraint Programming and Graph Algorithms |
116
click to vote
CP
2003
Springer
15 years 7 months ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
121
click to vote
IEEEPACT
2002
IEEE
15 years 7 months ago
2002
IEEE
Traditional compilers perform their code generation tasks based on a fixed, pre-determined instruction set. This paper describes the implementation of a compiler that determines ...
146
click to vote
RTSS
2002
IEEE
15 years 7 months ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...
130
Voted
ISMVL
2000
IEEE
15 years 6 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
121
click to vote
CPAIOR
2010
Springer
15 years 5 months ago
2010
Springer
Cutting plane methods are widely used for solving convex optimization problems and are of fundamental importance, e.g., to provide tight bounds for Mixed-Integer Programs (MIPs). T...