1097 search results - page 190 / 220 » Revision Programming = Logic Programming Integrity Constra... |
116
click to vote
SAT
2005
Springer
15 years 8 months ago
2005
Springer
The utilization of cutting planes is a key technique in Integer Linear Programming (ILP). However, cutting planes have seldom been applied in Pseudo-Boolean Optimization (PBO) algo...
120
Voted
CPAIOR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
147
Voted
JSAT
2006
15 years 2 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...
132
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
121
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: The availability of complete genomic sequences for hundreds of organisms promises to make obtaining genome-wide estimates of substitution rates, selective constraints ...