Sciweavers

1453 search results - page 177 / 291
» Partial Constraint Satisfaction
Sort
View
ICTAI
2007
IEEE
15 years 11 months ago
On Portfolios for Backtracking Search in the Presence of Deadlines
Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that portfolios of backtracking algorith...
Huayue Wu, Peter van Beek
145
Voted
IEEEARES
2007
IEEE
15 years 11 months ago
CSP-Based Firewall Rule Set Diagnosis using Security Policies
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
IROS
2007
IEEE
92views Robotics» more  IROS 2007»
15 years 11 months ago
A space decomposition method for path planning of loop linkages
— This paper introduces box approximations as a new tool for path planning of closed-loop linkages. Box approximations are finite collections of rectangloids that tightly envelo...
Josep M. Porta, Juan Cortés, Lluís R...
CP
2007
Springer
15 years 10 months ago
On Universal Restart Strategies for Backtracking Search
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
Huayue Wu, Peter van Beek
153
Voted
ISAAC
2007
Springer
146views Algorithms» more  ISAAC 2007»
15 years 10 months ago
Bounded Tree-Width and CSP-Related Problems
We study the complexity of structurally restricted homomorphism and constraint satisfaction problems. For every class of relational structures C, let LHOM(C, _) be the problem of d...
Tommy Färnqvist, Peter Jonsson