211 citations found. Retrieving documents...
R. Dechter. Enhancement schemes for constraint processing : Backjumping, learning and cutset decomposition. Artificial Intelligence, 41(2):273--312, 1990.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Default Reasoning Using Classical Logic - Ben-Eliyahu, Dechter (1995)   (3 citations)  Self-citation (Dechter)   (Correct)

No context found.

Rina Dechter. Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Artificial Intelligence, 41:273--312, 1990.


The Impact of AND/OR Search Spaces on Constraint.. - Dechter, Mateescu (2004)   Self-citation (Dechter)   (Correct)

No context found.

Dechter, R.: Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition. Artificial Intelligence 41 (1990) 273--312


The Impact of AND/OR Search Spaces on Constraint - Satisfaction And Counting   Self-citation (Dechter)   (Correct)

No context found.

Dechter, R.: Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition. Artificial Intelligence 41 (1990) 273--312


AND/OR Search Spaces for Graphical Models - Rina Dechter Department (2004)   (3 citations)  Self-citation (Dechter)   (Correct)

No context found.

Dechter, R. 1990. Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition. Artificial Intelligence 41:273-- 312.


On Finding Minimal W-Cutset Problem - Bozhena Bidyuk And   Self-citation (Dechter)   (Correct)

No context found.

R. Dechter, `Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition ', Artificial Intelligence, 41, 273--312, (1990).


Towards Fast Vickrey-Pricing Using Constraint Programming - Holland, O'Sullivan (2004)   (Correct)

No context found.

R. Dechter. Enhancement schemes for constraint processing : Backjumping, learning and cutset decomposition. Artificial Intelligence, 41(2):273--312, 1990.


Multi-Site Product Configuration of Telecommunication.. - Felfernig, Friedrich, .. (2002)   (Correct)

No context found.

R. Dechter. Enhancement schemes for Constraint Processing: Backjumping, Learning, and Cutset decomposition. Artificial Intelligence, 41(3), Elsevier, 1990, 273-312.


Statistical Regimes across Constrainedness Regions - Gomes, Fernandez, Selman.. (2005)   (Correct)

No context found.

Dechter, R.: 1990, `Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition'. Artificial Intelligence 41(3), 273--312.


Secure Combinatorial Optimization Simulating DFS tree-based.. - Silaghi (2006)   (Correct)

No context found.

R. Dechter. Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. AI'90, 1990.


Which Dynamic Constraint Problems Can Be Solved By Ants? - Koenraad Mertens And   (Correct)

No context found.

Dechter, R. 1990. Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition.


Inter-Block Backtracking: Exploiting the Structure in.. - Neveu, Jermann..   (Correct)

No context found.

Rina Dechter. Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Artificial Intelligence, 41(3):273--312, January 1990.


Consistency Techniques in Constraint Networks - Yuanlin (2003)   (Correct)

No context found.

R. Dechter. Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Artificial Intelligence, 41(3):273--312, 1990.


Building State-of-the-Art SAT Solvers - Lynce, Marques-Silva (2002)   (2 citations)  (Correct)

No context found.

R. Dechter, `Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition', Artificial Intelligence, 41(3), 273--312, (January 1990).


The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms - Lynce, Marques-Silva   (Correct)

No context found.

R. Dechter. Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition. Artificial Intelligence, 41(3):273--312, January 1990.


Simplification and Backjumping in Modal Tableau - Hustadt, Schmidt (1998)   (2 citations)  (Correct)

No context found.

R. Dechter. Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Artifical Intelligence, 41(3):273--312, 1989/90.


Constraints, Varieties, and Algorithms - van Dongen (2002)   (Correct)

No context found.

R. Dechter. Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Artificial Intelligence, 41:273--312, 1990.


Representation and Reasoning with Non-Binary Constraints - Stergiou (2001)   (Correct)

No context found.

R. Dechter. Enhancement Schemes for Constraint Processing: Backjumping, Learning, and Cutset Decomposition. Arti cial Intelligence, 41(3):273-312, 1990. 163


Unrestricted Nogood Recording in CSP search - Katsirelos, Bacchus (2003)   (3 citations)  (Correct)

No context found.

R. Dechter. Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Artificial Intelligence, 41:273--312, 1990.


Forward Checking with Backmarking - June Patrick Prosser (1995)   (13 citations)  (Correct)

No context found.

R. Dechter, Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition, Artif. Intell. 41 (3) (1990) 273-312


Analysis and Comparison of Methods and Algorithms.. - Catarci, Ciaccia.. (2000)   (Correct)

No context found.

Rina Dechter. Enhancementschemes for constraint processing: Backjumping, learning, and cutset decomposition. Arti cial Intelligence, 41:273-312, 1990.


A Study into Ant Colony Optimisation, Evolutionary.. - van Hemert, Solnon (2004)   (Correct)

No context found.

Dechter, R.: Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Artificial Intelligence 41 (1990) 273--312


k-Relevant Explanations for Constraint Programming - Ouis, Jussien, Boizumault   (Correct)

No context found.

Dechter, R.: Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Arti cial Intelligence 41 (1990) 273-312


Dynamic Flexible Constraint Satisfaction and its Application to.. - Miguel (2001)   (5 citations)  (Correct)

No context found.

R. Dechter. Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Arti cial Intelligence, 41:273-312, 1990.


Uncorrected - Aid Vol Artificial   (Correct)

No context found.

R. Dechter, Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition, Artificial Intelligence 41 (3) (1990) 273--312.


Analysis and Comparison of Methods and Algorithms.. - Catarci, Cesari.. (2000)   (Correct)

No context found.

Rina Dechter. Enhancementschemes for constraint processing: Backjumping, learning, and cutset decomposition. Arti cial Intelligence, 41:273-312, 1990.

First 50 documents  Next 50

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