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
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
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
Concurrent constraint programming
Concurrent constraint programming
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
The 3 R's of optimizing constraint logic programs: refinement, removal and reordering
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Default timed concurrent constraint programming
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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)
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
The Amulet user interface development environment
Conference Companion on Human Factors in Computing Systems
Constraint query algebras
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
Algorithmic Program DeBugging
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
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
Local and Global Relational Consistency
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
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
Coordination of heterogeneous distributed cooperative constraint solving
ACM SIGAPP Applied Computing Review - Special issue on coodination languages and models
Using coordination for cooperative constraint solving
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
ACM SIGSOFT Software Engineering Notes
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
WebMath: A Web-Based ITS System
ICWL '02 Proceedings of the First International Conference on Advances in Web-Based Learning
Electronic Homework on the WWW
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
Constraint Programming and Graph Algorithms
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Constraint-Based Language for Virtual Agents
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
SCIL - Symbolic Constraints in Integer Linear Programming
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
WISE '00 Proceedings of the First International Conference on Web Information Systems Engineering (WISE'00)-Volume 2 - Volume 2
An automated approach to quality-aware web applications
Enterprise information systems IV
GADGET: a toolkit for optimization-based approaches to interface and display generation
Proceedings of the 16th annual ACM symposium on User interface software and technology
A Logical Approach to Quality of Service Specification in Video Databases
Multimedia Tools and Applications
Programming by sketching for bit-streaming programs
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Combinatorial sketching for finite programs
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Programmed Search in a Timetabling Problem over Finite Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
Support for Managing Design-Time Decisions
IEEE Transactions on Software Engineering
A Semantic QoS-Based Web Service Discovery Engine for Over-Constrained QoS Demands
Service-Oriented Computing - ICSOC 2007 Workshops
Numerica: a modeling language for global optimization
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
A global constraint for nesting problems
Artificial Intelligence Review
Code-based test generation for validation of functional processor descriptions
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Selective and consistent undoing of model changes
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
An approach to temporal-aware procurement of web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
Hi-index | 0.00 |