Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540602996, 9783540447887

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science ◽

10.1007/3-540-60299-2_38 ◽

1995 ◽

pp. 624-628 ◽

Cited By ~ 7

Author(s):

Alan Borning ◽

Bjorn N. Freeman-Benson

Keyword(s):

User Interfaces ◽

Graphical User Interfaces ◽

Constraint Solver

Download Full-text

Debugging constraint programs

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science ◽

10.1007/3-540-60299-2_13 ◽

1995 ◽

pp. 204-221 ◽

Cited By ~ 17

Author(s):

Micha Meier

Download Full-text

Improved branch and bound in constraint logic programming

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science ◽

10.1007/3-540-60299-2_32 ◽

1995 ◽

pp. 533-548 ◽

Cited By ~ 2

Author(s):

Steven Prestwich ◽

Shyam Mudambi

Keyword(s):

Logic Programming ◽

Branch And Bound ◽

Constraint Logic Programming

Download Full-text

From Elliott-MacMahon to an algorithm for general linear constraints on naturals

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science ◽

10.1007/3-540-60299-2_2 ◽

1995 ◽

pp. 18-35 ◽

Cited By ~ 3

Author(s):

Eric Domenjoud ◽

Ana Paula Tomás

Keyword(s):

Linear Constraints ◽

General Linear

Download Full-text

Complete solving of linear Diophantine equations and inequations without adding variables

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science ◽

10.1007/3-540-60299-2_1 ◽

1995 ◽

pp. 1-17 ◽

Cited By ~ 3

Author(s):

Farid Ajili ◽

Evelyne Contejean

Keyword(s):

Diophantine Equations ◽

Linear Diophantine Equations

Download Full-text

The progressive party problem: Integer linear programming and constraint programming compared

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science ◽

10.1007/3-540-60299-2_3 ◽

1995 ◽

pp. 36-52 ◽

Cited By ~ 6

Author(s):

Barbara M. Smith ◽

Sally C. Brailsford ◽

Peter M. Hubbard ◽

H. Paul Williams

Keyword(s):

Linear Programming ◽

Integer Linear Programming ◽

Constraint Programming ◽

Progressive Party

Download Full-text

A constraint-based approach to diagnosing software problems in computer networks

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science ◽

10.1007/3-540-60299-2_28 ◽

1995 ◽

pp. 463-480 ◽

Cited By ~ 4

Author(s):

Daniel Sabin ◽

Mihaela Sabin ◽

Robert D. Russell ◽

Eugene C. Freuder

Keyword(s):

Computer Networks

Download Full-text

Automatic generation of invariants and intermediate assertions

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science ◽

10.1007/3-540-60299-2_37 ◽

1995 ◽

pp. 589-623 ◽

Cited By ~ 17

Author(s):

Nikolaj Bjørner ◽

Anca Browne ◽

Zohar Manna

Keyword(s):

Automatic Generation

Download Full-text

The concurrent constraint programming research programmes

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science ◽

10.1007/3-540-60299-2_36 ◽

1995 ◽

pp. 588-588 ◽

Cited By ~ 1

Author(s):

Vijay Saraswat

Keyword(s):

Constraint Programming ◽

Research Programmes ◽

Concurrent Constraint Programming

Download Full-text

Local and global relational consistency

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science ◽

10.1007/3-540-60299-2_15 ◽

1995 ◽

pp. 240-257 ◽

Cited By ~ 7

Author(s):

Rina Dechter ◽

Peter Beek

Download Full-text

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces

Debugging constraint programs

Improved branch and bound in constraint logic programming

From Elliott-MacMahon to an algorithm for general linear constraints on naturals

Complete solving of linear Diophantine equations and inequations without adding variables

The progressive party problem: Integer linear programming and constraint programming compared

A constraint-based approach to diagnosing software problems in computer networks

Automatic generation of invariants and intermediate assertions

The concurrent constraint programming research programmes

Local and global relational consistency

Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science
Latest Publications