CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

 

Author:

  Bart Selman

Year:

  -

Theme:

  Computer Science (390981)

1) A NEW METHOD FOR SOLVING HARD SATISFIABILITY PROBLEMS  
By Bart Selman    David Mitchell    Hector Levesque
Date  June 1997
Refs | Theme tree | Cited by 399 CiteSeer

2) HARD AND EASY DISTRIBUTIONS OF SAT PROBLEMS  
By Bart Selman    David Mitchell    Hector Levesque
Date  June 1997
Refs | Theme tree | Cited by 281 CiteSeer

3) PUSHING THE ENVELOPE: PLANNING, PROPOSITIONAL LOGIC, AND STOCHASTIC SEARCH  
By Bart Selman    Henry Kautz
Date  March 1998
Refs | Theme tree | Cited by 267 CiteSeer

4) NOISE STRATEGIES FOR IMPROVING LOCAL SEARCH  
By Bart Selman    Bram Cohen    Henry A. Kautz
Date  March 1998
Refs | Theme tree | Cited by 152 CiteSeer

5) DOMAIN-INDEPENDENT EXTENSIONS TO GSAT: SOLVING LARGE STRUCTURED SATISFIABILITY PROBLEMS  
By Bart Selman    Henry Kautz
Date  March 1998
Refs | Theme tree | Cited by 118 CiteSeer

6) PLANNING AS SATISFIABILITY  
By Bart Selman    Henry Kautz
Date  March 1998
Refs | Theme tree | Cited by 117 CiteSeer

7) KNOWLEDGE COMPILATION USING HORN APPROXIMATIONS  
By Bart Selman    Henry Kautz
Date  August 1996
Refs | Theme tree | Cited by 89 CiteSeer

8) LOCAL SEARCH STRATEGIES FOR SATISFIABILITY TESTING  
By And Bram Cohen    Bart Selman    Henry Kautz
Date  March 1999
Refs | Theme tree | Cited by 84 CiteSeer

9) BOOSTING COMBINATORIAL SEARCH THROUGH RANDOMIZATION  
By Bart Selman    Carla P. Gomes    Henry Kautz
Date  January 1970
Refs | Theme tree | Cited by 80 CiteSeer

10) AN EMPIRICAL STUDY OF GREEDY LOCAL SEARCH FOR SATISFIABILITY TESTING  
By Bart Selman And    Henry A. Kautz
Date  August 1996
Refs | Theme tree | Cited by 74 CiteSeer

11) CRITICAL BEHAVIOR IN THE SATISFIABILITY OF RANDOM BOOLEAN FORMULAE  
By Bart Selman    Scott Kirkpatrick
Date  August 1999
Refs | Theme tree | Cited by 68 CiteSeer

12) ENCODING PLANS IN PROPOSITIONAL LOGIC  
By Bart Selman    David Mcallester    Henry Kautz
Date  March 1998
Refs | Theme tree | Cited by 66 CiteSeer

13) EVIDENCE FOR INVARIANTS IN LOCAL SEARCH  
By Bart Selman    David Mcallester    Henry Kautz
Date  April 1997
Refs | Theme tree | Cited by 57 CiteSeer

14) BLACKBOX: A NEW APPROACH TO THE APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING  
By Bart Selman    Henry Kautz
Date  May 1998
Refs | Theme tree | Cited by 54 CiteSeer

15) UNIFYING SAT-BASED AND GRAPH-BASED PLANNING  
By Bart Selman    Henry Kautz
Date  April 1999
Refs | Theme tree | Cited by 50 CiteSeer

16) KNOWLEDGE COMPILATION AND THEORY APPROXIMATION  
By Bart Selman    Henry Kautz
Date  August 1999
Refs | Theme tree | Cited by 49 CiteSeer

17) HORN APPROXIMATIONS OF EMPIRICAL DATA  
By Bart Selman    Henry Kautz    Michael Kearns
Date  May 1996
Refs | Theme tree | Cited by 43 CiteSeer

18) GENERATING HARD SATISFIABILITY PROBLEMS  
By Bart Selman    David Mitchell    Hector Levesque
Date  August 1999
Refs | Theme tree | Cited by 42 CiteSeer

19) FORMING CONCEPTS FOR FAST INFERENCE  
By Bart Selman    Henry Kautz
Date  August 1996
Refs | Theme tree | Cited by 38 CiteSeer

20) REASONING WITH CHARACTERISTIC MODELS  
By Bart Selman    Henry A. Kautz    Michael J. Kearns
Date  August 1996
Refs | Theme tree | Cited by 35 CiteSeer

21) REFERRALWEB: COMBINING SOCIAL NETWORKS AND COLLABORATIVE FILTERING  
By Bart Selman    Henry Kautz    Mehul Shah
Date  January 1997
Refs | Theme tree | Cited by 33 CiteSeer

22) TEN CHALLENGES IN PROPOSITIONAL REASONING AND SEARCH  
By Bart Selman    David Mcallester    Henry Kautz
Date  May 1997
Refs | Theme tree | Cited by 31 CiteSeer

23) AGENT AMPLIFIED COMMUNICATION  
By Al Milewski    Bart Selman    Henry Kautz
Date  May 1996
Refs | Theme tree | Cited by 31 CiteSeer

24) THE ROLE OF DOMAIN-SPECIFIC KNOWLEDGE IN THE PLANNING AS SATISFIABILITY FRAMEWORK  
By Bart Selman    Henry Kautz
Date  March 1998
Refs | Theme tree | Cited by 30 CiteSeer

25) THE COMPARATIVE LINGUISTICS OF KNOWLEDGE REPRESENTATION  
By Bart Selman    Christos Papadimitriou    Goran Gogic    Henry Kautz
Date  August 1996
Refs | Theme tree | Cited by 30 CiteSeer

  • Next 25 articles...