Searching for "Incomplete Algorithms." – sorted by Relevance.
264 documents found, showing 1 through 10.
Next 10 →
-
Chapter 6 Incomplete Algorithms
- … Incomplete Algorithms Henry Kautz, Ashish Sabharwal, and Bart Selman An incomplete method for solving…
- Add To MetaCart
-
A Comparison of Complete and Incomplete Algorithms in the Easy and Hard Regions
- …A comparison of complete and incomplete algorithms in the easy and hard regions Andrew Davenport…
- Cited by 8 (0 self) – Add To MetaCart
-
Speculative Pruning for Boolean Satisfiability
- …, 1998 Abstract Much recent work on boolean satisability has focussed on incomplete algorithms…
- Add To MetaCart
-
Towards Provably Complete Stochastic Search Algorithms for Satisfiability
- … pervasive in SAT algorithms. Incomplete algorithms for SAT, for example the ones based on local search…
- Cited by 1 (0 self) – Add To MetaCart
-
Visual and Adaptive Constraint Programming in Music
- …Music. We describe the use of two algorithms, a complete one and an incomplete one. The latter is a local…
- Add To MetaCart
-
A Terminological Knowledge Representation System with Complete Inference Algorithms
- … but incomplete algorithms. Until recently, sound and complete algorithms for the basic reasoning facilities…
- Cited by 88 (20 self) – Add To MetaCart
-
Complete Search Restart Strategies for Satisfiability
- … restart strategy yields an incomplete algorithm, that for unsatisable instances is unable to guarantee…
- Cited by 14 (3 self) – Add To MetaCart
-
Mixed discrete and continuous algorithms for scheduling airborne astronomy observations
- …, we developed an incomplete algorithm called ForwardPlanner using a combination of AI…
- Cited by 2 (1 self) – Add To MetaCart
-
Hidden Gold in Random Generation of SAT Satisfiable Instances
- … Toulouse Cedex 31062 Toulouse Cedex France France Abstract Evaluation of incomplete algorithms that solve…
- Cited by 1 (0 self) – Add To MetaCart
-
Multifrontal Algorithms For Sparse Inverse Subsets And Incomplete LU Factorization By Yogin Eon
- …MULTIFRONTAL ALGORITHMS FOR SPARSE INVERSE SUBSETS AND INCOMPLETE LU FACTORIZATION BY YOGIN EON…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
