Sciweavers

7430 search results - page 65 / 1486
» Programming Applications in CIFF
Sort
View
USENIX
1990
13 years 9 months ago
UNIX as an Application Program
David B. Golub, Randall W. Dean, Alessandro Forin,...
ENDM
2010
81views more  ENDM 2010»
13 years 8 months ago
Mixed Integer NonLinear Programs featuring "On/Off" constraints: convex analysis and applications
We call "on/off" constraint an algebraic constraint that is activated if and only if
Hassan Hijazi, Pierre Bonami, Gérard Cornu&...
IPL
2008
111views more  IPL 2008»
13 years 8 months ago
Adding cardinality constraints to integer programs with applications to maximum satisfiability
Max-SAT-CC is the following optimization problem: Given a formula in CNF and a bound k, find an assignment with at most k variables being set to true that maximizes the number of ...
Markus Bläser, Thomas Heynen, Bodo Manthey