POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Integer and combinatorial optimization
Integer and combinatorial optimization
Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
Foundations of deductive databases and logic programming
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Integrating relational databases and constraint languages
Computer Languages
An algorithm for solving the job-shop problem
Management Science
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition
Artificial Intelligence
Communications of the ACM
Kernel Andorra Prolog and its computation model
Logic programming
Incremental constraint satisfaction in logic programming
Logic programming
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A fully abstract model for concurrent constraint programming
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
Artificial Intelligence - Special issue on knowledge representation
Abstract interpretation for concurrent logic languages
Proceedings of the 1990 North American conference on Logic programming
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraints and redundancy in datalog
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The logic of constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
Artificial Intelligence - Special volume on constraint-based reasoning
An abstract machine for CLP(R)
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Multi-way versus one-way constraints in user interfaces: experience with the DeltaBlue algorithm
Software—Practice & Experience
Indexing for data models with constraints and classes (extended abstract)
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A linear constraint technology for interactive graphic systems
Proceedings of the conference on Graphics interface '92
Lisp and Symbolic Computation
A closed-form evaluation for Datalog queries with integer (gap)-order constraints
ICDT Selected papers of the 4th international conference on Database theory
APPLAUSE: applications using the ElipSys parallel CLP system
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Suspension analyses for concurrent logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analyzing logic programs with dynamic scheduling
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards a theory of spatial database queries (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Independence in constraint logic programs
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Separability of polyhedra for optimal filtering of spatial and constraint data
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Dense-order constraint databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Indigo: a local propagation algorithm for inequality constraints
Proceedings of the 9th annual ACM symposium on User interface software and technology
Optimization and relaxation in constraint logic languages
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Timed default concurrent constraint programming
Journal of Symbolic Computation - Special issue: executable temporal logics
The Amulet user interface development environment
Conference Companion on Human Factors in Computing Systems
Computing with continuous change
Science of Computer Programming - Special issue on concurrent constraint programming
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Handling infinite temporal data
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Maintaining knowledge about temporal intervals
Communications of the ACM
Synthesizing constraint expressions
Communications of the ACM
Principles and Practice of Constraint Programming-CP '96: Second International Conference, CP 96, Cambridge, Ma, U. S. A., August 1996: Proceedings
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Over-Constrained Systems
Proceedings of the First International Conference on Constraints in Computational Logics
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Datalog Queries of Set Constraint Databases
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Contraint Logic Programming - An Informal Introduction
LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Linear vs Polynomial Constraints in Database Query Languages
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Specification and Verification of Constraint-Based Dynamic Systems
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Toward Practical Constraint Databases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Query Optimization by Predicate Move-Around
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Efficient Analysis of Concurrent Constraint Logic Programs
ICALP '93 Proceedings of the 20th International Colloquium on Automata, Languages and Programming
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Metastructures versus Attributed Variables in the Context of Extensible Unification
PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
Towards Independent And-Parallelism in CLP
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
Truly Concurrent Constraint Programming
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Synthesis of Hybrid Constraint-Based Controllers
Hybrid Systems II
Programming in Hybrid Constraint Languages
Hybrid Systems II
On the Desirability and Limitations of Linear Spatial Database Models
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
Selected Papers from Constraint Programming: Basics and Trends
Concurrency and Concurrent Constraint Programming
Selected Papers from Constraint Programming: Basics and Trends
Domain Independent Ask Approximation in CCP
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
DISCO: A Constraint Database System with Sets
Proceedings of the ESPRIT WG CONTESSA Workshop on Constraint Databases and Applications
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics
ALP '94 Proceedings of the 4th International Conference on Algebraic and Logic Programming
Algorithmic program debugging
A theoretical evaluation of selected backtracking algorithms
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Constraint solving over semirings
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Automatic test data generation using constraint solving techniques
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Solving large configuration problems efficiently by clustering the ConBaCon model
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
IEEE Transactions on Knowledge and Data Engineering
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Integrating time constraints into constraint-based configuration models
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
| Hi-index | 0.00 |