Constraint Processing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540594796, 9783540492818

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Combining hill climbing and forward checking for handling disjunctive constraints

Constraint Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-59479-5_29 ◽

1995 ◽

pp. 247-265

Author(s):

Dan R. Vlasie

Keyword(s):

Hill Climbing ◽

Disjunctive Constraints

Download Full-text

Semantic properties of CHIP(FD)

Constraint Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-59479-5_28 ◽

1995 ◽

pp. 225-245

Author(s):

Gilberto Filé ◽

Giuseppe Nardiello ◽

Adriano Tirabosco

Keyword(s):

Semantic Properties

Download Full-text

Using metalevel constraint knowledge to reduce constraint checking

Constraint Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-59479-5_25 ◽

1995 ◽

pp. 171-184 ◽

Cited By ~ 3

Author(s):

Eugene C. Freuder

Keyword(s):

Constraint Checking

Download Full-text

Using bidirectionality to speed up arc-consistency processing

Constraint Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-59479-5_24 ◽

1995 ◽

pp. 157-169 ◽

Cited By ~ 3

Author(s):

Christian Bessière ◽

Jean-Charles Régin

Keyword(s):

Arc Consistency ◽

Speed Up

Download Full-text

A CLP approach for examination planning

Constraint Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-59479-5_20 ◽

1995 ◽

pp. 85-101

Author(s):

Patrice Boizumault ◽

Yan Delon ◽

Laurent Péridy

Download Full-text

A detailed algorithm testing guards over feature trees

Constraint Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-59479-5_16 ◽

1995 ◽

pp. 11-38

Author(s):

Andreas Podelski ◽

Peter Roy

Keyword(s):

Feature Trees

Download Full-text

Directed arc consistency preprocessing

Constraint Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-59479-5_22 ◽

1995 ◽

pp. 121-137 ◽

Cited By ~ 23

Author(s):

Richard J. Wallace

Keyword(s):

Arc Consistency

Download Full-text

GA-easy and GA-hard constraint satisfaction problems

Constraint Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-59479-5_30 ◽

1995 ◽

pp. 267-283 ◽

Cited By ~ 15

Author(s):

Ágoston Eiben ◽

Paul-Erik Raué ◽

Zsófia Ruttkay

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Hard Constraint

Download Full-text

Integrating constraints in an object-based knowledge representation system

Constraint Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-59479-5_19 ◽

1995 ◽

pp. 67-83 ◽

Cited By ~ 3

Author(s):

Jérôme Gensel

Keyword(s):

Knowledge Representation ◽

Representation System ◽

Object Based ◽

Knowledge Representation System

Download Full-text

Forward checking with backmarking

Constraint Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-59479-5_26 ◽

1995 ◽

pp. 185-204 ◽

Cited By ~ 5

Author(s):

Patrick Prosser

Download Full-text

Constraint Processing - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Combining hill climbing and forward checking for handling disjunctive constraints

Semantic properties of CHIP(FD)

Using metalevel constraint knowledge to reduce constraint checking

Using bidirectionality to speed up arc-consistency processing

A CLP approach for examination planning

A detailed algorithm testing guards over feature trees

Directed arc consistency preprocessing

GA-easy and GA-hard constraint satisfaction problems

Integrating constraints in an object-based knowledge representation system

Forward checking with backmarking

Constraint Processing - Lecture Notes in Computer Science
Latest Publications