Sciweavers

2343 search results - page 10 / 469

» Visual-Concept Search Solved

128

ICCAD
2006
IEEE

100views Hardware» more ICCAD 2006»

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

16 years 1 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 »

123

CP
2004
Springer

86views Artificial Intelligence» more CP 2004»

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

16 years 16 days ago

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

Download acadepedia.com

Andrew Lim, Brian Rodrigues, Zhou Xu

claim paper

Read More »

140

SAT
2004
Springer

107views Hardware» more SAT 2004»

Solving Non-clausal Formulas with DPLL search

16 years 14 days ago

Solving Non-clausal Formulas with DPLL search

Download www.satisfiability.org

Christian Thiffault, Fahiem Bacchus, Toby Walsh

claim paper

Read More »

125

Voted

CP
2003
Springer

88views Artificial Intelligence» more CP 2003»

Improving Backtrack Search for Solving the TCSP

16 years 11 days ago

Improving Backtrack Search for Solving the TCSP

Download consystlab.unl.edu

Lin Xu, Berthe Y. Choueiry

claim paper

Read More »

161

Voted

CP
2003
Springer

87views Artificial Intelligence» more CP 2003»

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search

16 years 11 days 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 10 / 469 Last » Next »