77 search results - page 16 / 16 » New integer linear programming approaches for course timetab... |
170
Voted
JSAT
2006
15 years 5 months ago
2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...
195
click to vote
PATMOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...