Sciweavers

206 search results - page 1 / 42
» Random backtracking in backtrack search algorithms for satis...
Sort
View
47
Voted
DAM
2007
52views more  DAM 2007»
14 years 9 months ago
Random backtracking in backtrack search algorithms for satisfiability
Inês Lynce, João P. Marques Silva
CP
2005
Springer
15 years 3 months ago
Dynamic Ordering for Asynchronous Backtracking on DisCSPs
An algorithm that performs asynchronous backtracking on distributed CSPs, with dynamic ordering of agents is proposed, ABT DO. Agents propose reorderings of lower priority agents a...
Roie Zivan, Amnon Meisels
CP
2007
Springer
15 years 3 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
FLAIRS
2004
14 years 11 months ago
Concurrent Backtrack Search on DisCSPs
A distributed search algorithm for solving distributed constraint satisfaction problems (DisCSPs) is presented. The proposed algorithm is composed of multiple search processes (SP...
Roie Zivan, Amnon Meisels
ICTAI
2007
IEEE
15 years 4 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