C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
PPCP
1993
1994
1993
1994
Keyphrases
Publications
1994
Ying Zhang
,
Alan K. Mackworth
Specification and Verification of Constraint-Based Dynamic Systems.
PPCP
(1994)
Joxan Jaffar
,
Michael J. Maher
,
Peter J. Stuckey
,
Roland H. C. Yap
Beyond Finite Domains.
PPCP
(1994)
Michael Sannella
Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints.
PPCP
(1994)
Massimo Paltrinieri
On the Design of Constraint Satisfaction Problems.
PPCP
(1994)
Ugo Montanari
,
Francesca Rossi
,
Francisco Bueno
,
Maria J. García de la Banda
,
Manuel V. Hermenegildo
Towards a Concurrent Semantics based Analysis of CC and CLP.
PPCP
(1994)
Gilles Pesant
,
Michel Boyer
QUAD-CLP(R): Adding the Power of Quadratic Constraints.
PPCP
(1994)
Foto N. Afrati
,
Stavros S. Cosmadakis
,
Stéphane Grumbach
,
Gabriel M. Kuper
Linear vs Polynomial Constraints in Database Query Languages.
PPCP
(1994)
Suresh Thennarangam
,
Gurminder Singh
Inferring 3-dimensional constraints with DEVI.
PPCP
(1994)
John N. Hooker
Logic-Based Methods for Optimization.
PPCP
(1994)
Matthew L. Ginsberg
,
David A. McAllester
GSAT and Dynamic Backtracking.
PPCP
(1994)
Christian Schulte
,
Gert Smolka
,
Jörg Würtz
Encapsulated Search and Constraint Programming in Oz.
PPCP
(1994)
Kenneth A. Ross
,
Divesh Srivastava
,
Peter J. Stuckey
,
S. Sudarshan
Foundations of Aggregation Constraints.
PPCP
(1994)
Djamila Haroud
,
Boi Faltings
Global Consistency for Continuous Constraints.
PPCP
(1994)
Divesh Srivastava
,
Raghu Ramakrishnan
,
Peter Z. Revesz
Constraint Objects.
PPCP
(1994)
Hiroshi Hosobe
,
Ken Miyashita
,
Shin Takahashi
,
Satoshi Matsuoka
,
Akinori Yonezawa
Locally Simultaneous Constraint Satisfaction.
PPCP
(1994)
Daniel Sabin
,
Eugene C. Freuder
Contradicting Conventional Wisdom in Constraint Satisfaction.
PPCP
(1994)
Manolis Koubarakis
Foundations of Indefinite Constraint Databases.
PPCP
(1994)
Peter Jeavons
,
David A. Cohen
,
Martin C. Cooper
A Substitution Operation for Constraints.
PPCP
(1994)
David Kurlander
,
Jean-Francois Puget
,
Jeff Heisserman
Panel Session: Commercial Applications of Constraint Programming.
PPCP
(1994)
Marianne Baudinet
,
Jan Chomicki
,
Pierre Wolper
Constraint-Generating Dependencies.
PPCP
(1994)
Arcot Rajasekar
Applications in Constraint Logic Programming with Strings.
PPCP
(1994)
William Pugh
,
David Wonnacott
Experiences with Constraint-based Array Dependence Analysis.
PPCP
(1994)
Manuel V. Hermenegildo
Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System.
PPCP
(1994)
Nevin Heintze
,
Joxan Jaffar
Set Constraints and Set-Based Analysis.
PPCP
(1994)
Ugo Montanari
,
Francesca Rossi
,
Vijay A. Saraswat
CC Programs with both In- and Non-determinism: A Concurrent Semantics.
PPCP
(1994)
Yuejun Jiang
,
Thomas Richards
,
Barry Richards
Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization.
PPCP
(1994)
Ashish Gupta
,
Yehoshua Sagiv
,
Jeffrey D. Ullman
,
Jennifer Widom
Efficient and Complete Tests for Database Integrity Constraint Checking.
PPCP
(1994)
Alexander Aiken
Set Constraints: Results, Applications, and Future Directions.
PPCP
(1994)
volume 874, 1994
Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings
PPCP
874 (1994)
1993
Isabel F. Cruz
Using a Visual Constraint Language for Data Display Specification.
PPCP
(1993)
Michael Gleicher
Practical Issues in Graphical Constraints.
PPCP
(1993)
Ken McAloon
,
Carol Tretkoff
2lp: Linear Programming and Logic Programming.
PPCP
(1993)
Hassan Aït-Kaci
,
Andreas Podelski
Entailment and Disentailment of Order-Sorted Feature Constraints.
PPCP
(1993)
Claude Kirchner
,
Hélène Kirchner
,
Marian Vittek
Implementing Computational Systems with Constraints.
PPCP
(1993)
Mark Johnson
Memoization in Constraint Logic Programming.
PPCP
(1993)
Hong Gao
,
David Scott Warren
A Powerful Evaluation Strategy For CLP Programs.
PPCP
(1993)
Gabriel M. Kuper
Aggregation in Constraint Databases.
PPCP
(1993)
Alexander Brodsky
,
Catherine Lassez
Separability of Polyhedra and a New Approach to Spatial Storage (Extended Abstract).
PPCP
(1993)
Francisco Menezes
,
Pedro Barahona
,
Philippe Codognet
An Incremental Hierarchical Constraint Solver.
PPCP
(1993)
Seif Haridi
,
Sverker Janson
,
Johan Montelius
,
Torkel Franzén
,
Per Brand
,
Kent Boortz
,
Björn Danielsson
,
Björn Carlson
,
Torbjörn Keisu
,
Dan Sahlin
,
Thomas Sjöland
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract).
PPCP
(1993)
François Major
,
Marcel Turcotte
,
Guy Lapalme
Constraint Satisfaction in Functional Programming.
PPCP
(1993)
Tony Savor
,
Paul P. Dasiewicz
A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm.
PPCP
(1993)
Stéphane Donikian
,
Gérard Hégron
Constraint Management in a Declarative Design Method for 3D Scene Sketch Modeling.
PPCP
(1993)
François Fages
On the Semantics of Optimization Predicates in CLP languages.
PPCP
(1993)
Jean-Louis Imbert
Fourier's Elimination: Which to Choose?
PPCP
(1993)
Ying Zhang
,
Alan K. Mackworth
Constraint Programming in Constraint Nets.
PPCP
(1993)
Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island
PPCP
(1993)
Michael Sannella
The SkyBlue Constraint Solver and Its Applications.
PPCP
(1993)
Richard Zippel
A Constraint Based Scientific Programming Language.
PPCP
(1993)
Tim Fernando
A higher-order extension of constraint programming in disourse analysis.
PPCP
(1993)