Sciweavers

6036 search results - page 23 / 1208

» Web search solved

16

ICCAD
2006
IEEE

100views Hardware» more ICCAD 2006»

Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search

14 years 3 months ago

Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search

Download www.cecs.uci.edu

Zhaohui Fu, Sharad Malik

claim paper

Read More »

18

CP
2004
Springer

86views Artificial Intelligence» more CP 2004»

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

14 years 3 months ago

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

Download acadepedia.com

Andrew Lim, Brian Rodrigues, Zhou Xu

claim paper

Read More »

24

SAT
2004
Springer

107views Hardware» more SAT 2004»

Solving Non-clausal Formulas with DPLL search

14 years 3 months ago

Solving Non-clausal Formulas with DPLL search

Download www.satisfiability.org

Christian Thiffault, Fahiem Bacchus, Toby Walsh

claim paper

Read More »

18

CP
2003
Springer

88views Artificial Intelligence» more CP 2003»

Improving Backtrack Search for Solving the TCSP

14 years 3 months ago

Improving Backtrack Search for Solving the TCSP

Download consystlab.unl.edu

Lin Xu, Berthe Y. Choueiry

claim paper

Read More »

25

CP
2003
Springer

87views Artificial Intelligence» more CP 2003»

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search

14 years 3 months ago

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search

Download dli.iiit.ac.in

We provide a reformulation of the constraint hierarchies (CHs) framework based on the notion of error indicators. Adapting the generalized view of local consistency in semiring-ba...

Stefano Bistarelli, Philippe Codognet, Kin Chuen H...

claim paper

Read More »

« Prev « First page 23 / 1208 Last » Next »