Prosser, P.: 1993a, `Domain Filtering Can Degrade Intelligent Backtrack Search'. In: Proceedings IJCAI'93. Chambry, France, pp. 262--267. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
The Effect of Nogood Recording in MAC-CBJ SAT Algorithms - Lynce, Marques-Silva (2002) (Correct)
Procedural Reasoning in Constraint Satisfaction - Jónsson (1997) (Correct)
Supersymmetric Modeling for Local Search - Prestwich (Correct)
Local Search With Constraint Propagation and Conflict-Based.. - Jussien, Lhomme (2002) (8 citations) (Correct)
Intelligent Backtracking on the Hardest Constraint Problems - Baker (1995) (5 citations) (Correct)
Extending Forward Checking - Bacchus (2000) (1 citation) (Correct)
Minimal Forward Checking with Backmarking and Conflict-Directed .. - Kwan, Tsang (Correct)
Contradicting Conventional Wisdom in Constraint Satisfaction - Sabin, Freuder (1994) (111 citations) (Correct)
A Framework for Integrating Artificial Neural Networks and.. - Lee Department Of (1995) (3 citations) (Correct)
Planning the Project Management Way: Efficient Planning .. - Srivastava.. (2000) (1 citation) (Correct)
On the Relations between Intelligent Backtracking and.. - Kambhampati (1998) (7 citations) (Correct)
An Attempt to Map the Performance of a Range of Algorithm.. - Tsang, Borrett, Kwan (1995) (19 citations) (Correct)
A Framework for Integrating Artificial Neural Networks and Logic .. - Lee, Tam (1995) (3 citations) (Correct)
An Attempt to Map the Performance of a Range of Algorithm.. - Tsang, Borrett, Kwan (1995) (19 citations) (Correct)
MAC and Combined Heuristics: Two Reasons to Forsake FC .. - Bessière.. (1996) (32 citations) (Correct)
Contradicting Conventional Wisdom in Constraint Satisfaction - Daniel Sabin (1994) (111 citations) (Correct)
A Theoretical Evaluation of Selected Backtracking Algorithms - Kondrak (1994) (82 citations) (Correct)
Minimal Forward Checking with Backmarking - Kwan, Tsang (1995) (Correct)
Statistical Regimes across Constrainedness Regions - Gomes, Fernandez, Selman.. (2005) (Correct)
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms - Lynce, Marques-Silva (Correct)
On the Relations between Intelligent Backtracking and.. - Kambhampati (1997) (7 citations) (Correct)
Conflict-Directed Backjumping Revisited - Chen, van Beek (2001) (4 citations) (Correct)
Réseaux De Contraintes - Schiex (2000) (Correct)
Modular Lazy Search for Constraint Satisfaction Problems - Nordin, Tolmach (2001) (1 citation) (Correct)
A Framework For Expressing Knowledge About Constraint.. - Roy, Pachet, Perrot (1997) (Correct)
Neighborhood Inverse Consistency Preprocessing - Freuder, Elfe (1996) (15 citations) (Correct)
Reifying Constraint Satisfaction in Smalltalk - Roy, Pachet (1997) (4 citations) (Correct)
Forward Checking with Backmarking - June Patrick Prosser (1995) (13 citations) Self-citation (Prosser) (Correct)
How Not To Do It - Gent, Grant, MacIntyre, Prosser.. (1997) (8 citations) Self-citation (Prosser) (Correct)
An Empirical Study of Dynamic Variable Ordering.. - Gent, MacIntyre.. (1996) (18 citations) Self-citation (Prosser) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC