Sciweavers

2343 search results - page 10 / 469

» Visual-Concept Search Solved

80

ICCAD
2006
IEEE

100views Hardware» more ICCAD 2006»

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

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

82

CP
2004
Springer

86views Artificial Intelligence» more CP 2004»

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

15 years 9 months ago

Solving the Crane Scheduling Problem Using Intelligent Search Schemes

Download acadepedia.com

Andrew Lim, Brian Rodrigues, Zhou Xu

claim paper

Read More »

108

Voted

SAT
2004
Springer

107views Hardware» more SAT 2004»

Solving Non-clausal Formulas with DPLL search

15 years 9 months ago

Solving Non-clausal Formulas with DPLL search

Download www.satisfiability.org

Christian Thiffault, Fahiem Bacchus, Toby Walsh

claim paper

Read More »

86

CP
2003
Springer

88views Artificial Intelligence» more CP 2003»

Improving Backtrack Search for Solving the TCSP

15 years 9 months ago

Improving Backtrack Search for Solving the TCSP

Download consystlab.unl.edu

Lin Xu, Berthe Y. Choueiry

claim paper

Read More »

107

Voted

CP
2003
Springer

87views Artificial Intelligence» more CP 2003»

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search

15 years 9 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 10 / 469 Last » Next »