Sciweavers

1986 search results - page 23 / 398
» constraints 2006
Sort
View
JSAT
2006
108views more  JSAT 2006»
13 years 7 months ago
Translating Pseudo-Boolean Constraints into SAT
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
Niklas Eén, Niklas Sörensson
INFSOF
2000
92views more  INFSOF 2000»
13 years 7 months ago
Identifying relevant constraints for semantic query optimization
Semantic query optimization is the process of utilizing information implied by integrity constraints to reformulate the query into one that generates the same set of answers in a ...
Sang-goo Lee, Lawrence J. Henschen, Jonghun Chun, ...
CONSTRAINTS
2006
70views more  CONSTRAINTS 2006»
13 years 7 months ago
Stochastic Constraint Programming: A Scenario-Based Approach
To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic constraint programming. Stochastic constraint programs conta...
Armagan Tarim, Suresh Manandhar, Toby Walsh
CONSTRAINTS
2006
76views more  CONSTRAINTS 2006»
13 years 7 months ago
Symmetry Definitions for Constraint Satisfaction Problems
We review the many different definitions of symmetry for constraint satisfaction problems (CSPs) that have appeared in the literature, and show that a symmetry can be defined in tw...
David A. Cohen, Peter Jeavons, Christopher Jeffers...
AAAI
2006
13 years 9 months ago
Constraints: The Ties that Bind
Constraints can serve as a unifying force in artificial intelligence.
Eugene C. Freuder