Sciweavers

6036 search results - page 23 / 1208

» Web search solved

98

ICCAD
2006
IEEE

100views Hardware» more ICCAD 2006»

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

15 years 11 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 »

100

CP
2004
Springer

86views Artificial Intelligence» more CP 2004»

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

15 years 11 months ago

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

Download acadepedia.com

Andrew Lim, Brian Rodrigues, Zhou Xu

claim paper

Read More »

121

SAT
2004
Springer

107views Hardware» more SAT 2004»

Solving Non-clausal Formulas with DPLL search

15 years 10 months ago

Solving Non-clausal Formulas with DPLL search

Download www.satisfiability.org

Christian Thiffault, Fahiem Bacchus, Toby Walsh

claim paper

Read More »

97

CP
2003
Springer

88views Artificial Intelligence» more CP 2003»

Improving Backtrack Search for Solving the TCSP

15 years 10 months ago

Improving Backtrack Search for Solving the TCSP

Download consystlab.unl.edu

Lin Xu, Berthe Y. Choueiry

claim paper

Read More »

127

CP
2003
Springer

87views Artificial Intelligence» more CP 2003»

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search

15 years 10 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 »