Search results for "PPCP"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Nevin Heintze, Joxan Jaffar	Set Constraints and Set-Based Analysis.	PPCP	1994	DBLP DOI BibTeX RDF
1	Suresh Thennarangam, Gurminder Singh	Inferring 3-dimensional constraints with DEVI.	PPCP	1994	DBLP DOI BibTeX RDF
1	Ashish Gupta 0001, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom	Efficient and Complete Tests for Database Integrity Constraint Checking.	PPCP	1994	DBLP DOI BibTeX RDF
1	Daniel Sabin, Eugene C. Freuder	Contradicting Conventional Wisdom in Constraint Satisfaction.	PPCP	1994	DBLP DOI BibTeX RDF
1	Ugo Montanari, Francesca Rossi 0001, Vijay A. Saraswat	CC Programs with both In- and Non-determinism: A Concurrent Semantics.	PPCP	1994	DBLP DOI BibTeX RDF
1	Christian Schulte 0001, Gert Smolka, Jörg Würtz	Encapsulated Search and Constraint Programming in Oz.	PPCP	1994	DBLP DOI BibTeX RDF
1	Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan 0001	Foundations of Aggregation Constraints.	PPCP	1994	DBLP DOI BibTeX RDF
1	David Kurlander, Jean-Francois Puget, Jeff Heisserman	Panel Session: Commercial Applications of Constraint Programming.	PPCP	1994	DBLP DOI BibTeX RDF
1	Arcot Rajasekar	Applications in Constraint Logic Programming with Strings.	PPCP	1994	DBLP DOI BibTeX RDF
1	Matthew L. Ginsberg, David A. McAllester	GSAT and Dynamic Backtracking.	PPCP	1994	DBLP DOI BibTeX RDF
1	Manuel V. Hermenegildo	Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System.	PPCP	1994	DBLP DOI BibTeX RDF
1	William W. Pugh, David Wonnacott	Experiences with Constraint-based Array Dependence Analysis.	PPCP	1994	DBLP DOI BibTeX RDF
1	Alexander Aiken	Set Constraints: Results, Applications, and Future Directions.	PPCP	1994	DBLP DOI BibTeX RDF
1	Massimo Paltrinieri	On the Design of Constraint Satisfaction Problems.	PPCP	1994	DBLP DOI BibTeX RDF
1	Divesh Srivastava, Raghu Ramakrishnan 0001, Peter Z. Revesz	Constraint Objects.	PPCP	1994	DBLP DOI BibTeX RDF
1	Djamila Haroud, Boi Faltings	Global Consistency for Continuous Constraints.	PPCP	1994	DBLP DOI BibTeX RDF
1	Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap	Beyond Finite Domains.	PPCP	1994	DBLP DOI BibTeX RDF
1	Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa	Locally Simultaneous Constraint Satisfaction.	PPCP	1994	DBLP DOI BibTeX RDF
1	Gilles Pesant, Michel Boyer	QUAD-CLP(R): Adding the Power of Quadratic Constraints.	PPCP	1994	DBLP DOI BibTeX RDF
1	Ugo Montanari, Francesca Rossi 0001, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo	Towards a Concurrent Semantics based Analysis of CC and CLP.	PPCP	1994	DBLP DOI BibTeX RDF
1	Ying Zhang, Alan K. Mackworth	Specification and Verification of Constraint-Based Dynamic Systems.	PPCP	1994	DBLP DOI BibTeX RDF
1	Michael Sannella	Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints.	PPCP	1994	DBLP DOI BibTeX RDF
1	Yuejun Jiang, Thomas Richards, Barry Richards	Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization.	PPCP	1994	DBLP DOI BibTeX RDF
1	John N. Hooker	Logic-Based Methods for Optimization.	PPCP	1994	DBLP DOI BibTeX RDF
1	Manolis Koubarakis	Foundations of Indefinite Constraint Databases.	PPCP	1994	DBLP DOI BibTeX RDF
1	Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper	Linear vs Polynomial Constraints in Database Query Languages.	PPCP	1994	DBLP DOI BibTeX RDF
1	Alan Borning (eds.)	Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings	PPCP	1994	DBLP DOI BibTeX RDF
1	Marianne Baudinet, Jan Chomicki, Pierre Wolper	Constraint-Generating Dependencies.	PPCP	1994	DBLP DOI BibTeX RDF
1	Peter Jeavons 0001, David A. Cohen, Martin C. Cooper	A Substitution Operation for Constraints.	PPCP	1994	DBLP DOI BibTeX RDF
1	William J. Older, Frédéric Benhamou	Programming in CLP(BNR).	PPCP	1993	DBLP BibTeX RDF
1	Jean-Louis Imbert	Fourier's Elimination: Which to Choose?	PPCP	1993	DBLP BibTeX RDF
1	Mark Johnson 0001	Memoization in Constraint Logic Programming.	PPCP	1993	DBLP BibTeX RDF
1	Ying Zhang, Alan K. Mackworth	Constraint Programming in Constraint Nets.	PPCP	1993	DBLP BibTeX RDF
1	Ken McAloon, Carol Tretkoff	2lp: Linear Programming and Logic Programming.	PPCP	1993	DBLP BibTeX RDF
1	Hong Gao, David Scott Warren	A Powerful Evaluation Strategy For CLP Programs.	PPCP	1993	DBLP BibTeX RDF
1		Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island	PPCP	1993	DBLP BibTeX RDF
1	Scott Meyers, Carolyn K. Duby, Steven P. Reiss	Constraining the Structure and Style of Object-Oriented Programs.	PPCP	1993	DBLP BibTeX RDF
1	Simon Kasif, Arthur L. Delcher	Local Consistency in Parallel Constraint-Satisfaction Networks.	PPCP	1993	DBLP BibTeX RDF
1	Thomas Dubé, Chee-Keng Yap	The Geometry in Constraint Logic Programs.	PPCP	1993	DBLP BibTeX RDF
1	Claude Kirchner, Hélène Kirchner, Marian Vittek	Implementing Computational Systems with Constraints.	PPCP	1993	DBLP BibTeX RDF
1	Gabriel M. Kuper	Aggregation in Constraint Databases.	PPCP	1993	DBLP BibTeX RDF
1	Francisco Menezes, Pedro Barahona, Philippe Codognet	An Incremental Hierarchical Constraint Solver.	PPCP	1993	DBLP BibTeX RDF
1	François Major, Marcel Turcotte, Guy Lapalme	Constraint Satisfaction in Functional Programming.	PPCP	1993	DBLP BibTeX RDF
1	Stéphane Donikian, Gérard Hégron	Constraint Management in a Declarative Design Method for 3D Scene Sketch Modeling.	PPCP	1993	DBLP BibTeX RDF
1	Michael Sannella	The SkyBlue Constraint Solver and Its Applications.	PPCP	1993	DBLP BibTeX RDF
1	Walid T. Kerrouz, Glenn A. Kramer, Jahir Pabon	Exploiting Constraint Dependency Information For Debugging and Explanation.	PPCP	1993	DBLP BibTeX RDF
1	Ugo Montanari, Francesca Rossi 0001	Constraint Satisfaction, Constraint Programming, and Concurrency.	PPCP	1993	DBLP BibTeX RDF
1	Isabel F. Cruz	Using a Visual Constraint Language for Data Display Specification.	PPCP	1993	DBLP BibTeX RDF
1	Michael Gleicher	Practical Issues in Graphical Constraints.	PPCP	1993	DBLP BibTeX RDF
1	Hassan Aït-Kaci, Andreas Podelski	Entailment and Disentailment of Order-Sorted Feature Constraints.	PPCP	1993	DBLP BibTeX RDF
1	Alexander Brodsky 0001, Catherine Lassez	Separability of Polyhedra and a New Approach to Spatial Storage (Extended Abstract).	PPCP	1993	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Tony Savor, Paul P. Dasiewicz	A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm.	PPCP	1993	DBLP BibTeX RDF
1	François Fages	On the Semantics of Optimization Predicates in CLP languages.	PPCP	1993	DBLP BibTeX RDF
1	Richard Zippel	A Constraint Based Scientific Programming Language.	PPCP	1993	DBLP BibTeX RDF
1	Tim Fernando	A higher-order extension of constraint programming in disourse analysis.	PPCP	1993	DBLP BibTeX RDF
1	William C. Rounds, Guo-Qiang Zhang 0001	Constraints in Nonmonotonic Reasoning.	PPCP	1993	DBLP BibTeX RDF
1	Dinesh K. Pai	Robot Programming and Constraints.	PPCP	1993	DBLP BibTeX RDF
1	Thom W. Frühwirth, Philipp Hanschke	Terminological Reasoning with Constraint Handling Rules.	PPCP	1993	DBLP BibTeX RDF
1	Terence R. Smith, Keith K. Park	Constraint-Based Languages for Scientific Database and Modeling Systems.	PPCP	1993	DBLP BibTeX RDF
1	Allen C. Ward	Set-based Concurrent Engineering.	PPCP	1993	DBLP BibTeX RDF
1	Eugene C. Freuder, Paul D. Hubbe	A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction.	PPCP	1993	DBLP BibTeX RDF
1	Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama	Constraint Optimization using Preference Logics: A New Role for Modal Logic.	PPCP	1993	DBLP BibTeX RDF
1	Spiro Michaylov, Frank Pfenning	Higher-Order Logic Programming as Constraint Logic Programming.	PPCP	1993	DBLP BibTeX RDF
1	Douglas R. Smith	Synthesis of Constraint Algorithms.	PPCP	1993	DBLP BibTeX RDF

Publications at "PPCP"( http://dblp.L3S.de/Venues/PPCP )