Searching for "Ten Challenges in Propositional Reasoning and Search." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Ten challenges in propositional reasoning and search
- …Ten Challenges in Propositional Reasoning and Search Bart Selman, Henry Kautz, and David Mc…
- Cited by 61 (3 self) – Add To MetaCart
-
On the Limit of Branching Rules for Hard Random Unsatisfiable 3-SAT
- …-SAT, and in particular, that the first of the ten challenges for propositional reasoning and search…
- Cited by 8 (0 self) – Add To MetaCart
-
On the Use of Integer Programming Models in AI Planning
- … in Propositional Reasoning and Search,” by Selman et al. [1997]. Specifically, the challenge that we address…
- Cited by 36 (1 self) – Add To MetaCart
-
Building Structure into Local Search for SAT
- … of the “Ten Challenges in Propositional Reasoning and Search” (#2 and #6) presentedin[Selman et al., 1997…
- Cited by 3 (0 self) – Add To MetaCart
-
January, 1996.
- …. 179) 212 B. Selman, H. Kautz, and D. McAllester. Ten challenges in propositional reasoning and search…
- Add To MetaCart
-
◮ SAT Solvers
- …: www.satlive.org ◮ Challenges ◮ Ten Challenges in Propositional Reasoning and Search [Selman et al…
- Add To MetaCart
Showing 1 through 6.
