An incremental constraint solver
Communications of the ACM
Constraint logic programming languages
Communications of the ACM
A general framework for visualizing abstract objects and relations
ACM Transactions on Graphics (TOG)
Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Toward the partial evaluation of CLP languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation of pattern matching in constraint logic programming languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
ConstraintLisp: an object-oriented constraint programming language
ACM SIGPLAN Notices
Prolog at IBM: an advanced and evolving application development technology
IBM Systems Journal
Inheritance and constraint-based grammar formalisms
Computational Linguistics - Special issue on inheritance: I
PETINA—tour generation using the ElipSys inference system
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
A tour advisory system using a logic programming approach
ACM SIGAPP Applied Computing Review
Experimental evaluation of a generic abstract interpretation algorithm for PROLOG
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combinations of abstract domains for logic programming
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type analysis of Prolog using type graphs
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Backtracking without trailing in CLP (RLin)
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
On solving equations and disequations
Journal of the ACM (JACM)
A pragmatic approach to software synthesis
IDL '94 Proceedings of the workshop on Interface definition languages
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Database querying and constraint programming
ACM SIGACT News
Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
LogicBase: a deductive database system prototype
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Backtracking without trailing in CLP ( RLin )
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The replacement operation for CLP modules
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Some challenges for constraint programming
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
The rise of nonlinear mathematical programming
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
A transformation system for CLP with dynamic scheduling and CCP
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Semantics and verification of action diagrams with linear timing
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Expressive Applications of Constraint Logic Programming
Artificial Intelligence Review
Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
Partial evaluation of concurrent constraint languages
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Spatial Reasoning Using the Quad Tesseral Representation
Artificial Intelligence Review
On the conversion between non-binary constraint satisfaction problems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
A generic customizable framework for inverse local consistency
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Functional elimination and 0/1/All constraints
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
HKIA SAS: a constraint-based airport stand allocation system developed with software components
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
The Evolving Role of Constraints in the Functional Data Model
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Extending a parallel CLP language to support the development of multi-agent systems
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Implementing non-linear constraints with cooperative solvers
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Incremental querying in the concurrent CLP language IFD-Constraint Pandora
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
The GNU Prolog system and its implementation
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
ACM Transactions on Computational Logic (TOCL)
Graph-based code selection techniques for embedded processors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Mixed-initiative, multi-source information assistants
Proceedings of the 10th international conference on World Wide Web
Constraints and constraint solving: an introduction
Constraints in computational logics
Building industrial applications with constraint programming
Constraints in computational logics
Solution Techniques for Constraint Satisfaction Problems: Foundations
Artificial Intelligence Review
Semiring-based constraint logic programming: syntax and semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Soft constraint propagation and solving in CHRs
Proceedings of the 2002 ACM symposium on Applied computing
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
A General Meta-Heuristic Based Solver for Combinatorial Optimisation Problems
Computational Optimization and Applications
Polynomial-time computation via local inference relations
ACM Transactions on Computational Logic (TOCL)
A constraint-based architecture for local search
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Extending constraint logic programming for temporal reasoning
Annals of Mathematics and Artificial Intelligence
Embedding Relaxations in Global Constraints for Solving TSP and TSPTW
Annals of Mathematics and Artificial Intelligence
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
Constraint Programming: Strategic Directions
Constraints
Some Challenges for Constraint Programming
Constraints
Constraint Programming 2000: A Position Paper
Constraints
Constraints
Constraint-Based Facial Animation
Constraints
Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning
Nonsystematic Search and No-Good Learning
Journal of Automated Reasoning
Constraint-Based Job Shop Scheduling with {\sc Ilog\ Scheduler}
Journal of Heuristics
Journal of Heuristics
A Taxonomy of Hybrid Metaheuristics
Journal of Heuristics
On forward checking for non-binary constraint satisfaction
Artificial Intelligence
Binary vs. non-binary constraints
Artificial Intelligence
RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling Problems
IEEE Transactions on Knowledge and Data Engineering
Using Constraints for Efficient Query Processing in Nondeterministic Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages
IEEE Transactions on Parallel and Distributed Systems
Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination
IEEE Intelligent Systems
Predictive Personnel Management
IEEE Intelligent Systems
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Fages' Theorem for Programs with Nested Expressions
Proceedings of the 17th International Conference on Logic Programming
Propagation Completeness of Reactive Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A Polyhedral Study of the Cardinality Constrained Knapsack Problem
Proceedings of the 9th International IPCO Conference on Integer Programming and Combinatorial Optimization
Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
University Timetabling Using Constraint Logic Programming
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Labeling and Partial Local Consistency for Soft Constraint Programming
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Exploiting Efficient Control and Data Structures in Logic Programs
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Modeling Engineering Structures with Constrained Objects
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Solving Combinatorial Problems with a Constraint Functional Logic Language
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Heterogeneous Scheduling and Rotation
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Object-Oriented Constraint Programming with J.CP
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Planning while Executing: A Constraint-Based Approach
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
A Language for Specifying Complete Timetabling Problems
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
Towards a Scalable Architecture for Knowledge Fusion
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Equivalent Transformation by Safe Extension of Data Structures
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Combining Constraint Logic Programming Techniques for Solving Linear Problems
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A Finite Domain CLP Solver on Top of Mercury
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Constraints with Variables` Annotations and Constraint Hierarchies
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Constraint Representation for Propagation
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Constraints for Object Recognition in Aerial Images - Handling of Unobserved Features
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Compiling Semiring-Based Constraints with clp (FD, S)
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Linear Formulation of Constraint Programming Models and Hybrid Solvers
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Non-overlapping Constraints between Convex Polytopes
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
New Lower Bounds of Constraint Violations for Over-Constrained Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Visopt ShopFloor: On the Edge of Planning and Scheduling
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Constraint Programming Contribution to Benders Decomposition: A Case Study
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A Denotational Semantics for First-Order Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Representing Trees with Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Generating Textual Diagrams and Diagrammatic Texts
CMC '98 Revised Papers from the Second International Conference on Cooperative Multimodal Communication
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
Planning and Execution in Dynamic Environments
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
When do bounds and domain propagation lead to the same search space
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Lowering the barrier to wireless and mobile experimentation
ACM SIGCOMM Computer Communication Review
Extending the constraint database framework
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Interface Timing Verification with Delay Correlation Using Constraint Logic Programming
EDTC '97 Proceedings of the 1997 European conference on Design and Test
Learning at the crossroads of biology and computation
INBS '95 Proceedings of the First International Symposium on Intelligence in Neural and Biological Systems (INBS'95)
Computational Linguistics
Extending arbitrary solvers with constraint handling rules
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Integrating finite domain constraints and CLP with sets
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Fault Models and Test Generation for Hardware-Software Covalidation
IEEE Design & Test
Implementing global constraints as graphs of elementary constraints
Acta Cybernetica
CLSS: An Intelligent Crane Lorry Scheduling System
Applied Intelligence
SyDeR—System design for reusability
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Constraint programming and maths programming
The Knowledge Engineering Review
Synthesis of efficient constraint-satisfaction programs
The Knowledge Engineering Review
A scheme for unifying optimization and constraint satisfaction methods
The Knowledge Engineering Review
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
Dispensation order generation for pyrosequencing
APBC '04 Proceedings of the second conference on Asia-Pacific bioinformatics - Volume 29
A decomposition-based implementation of search strategies
ACM Transactions on Computational Logic (TOCL)
Lexical disambiguation using Constraint Handling in Prolog (CHIP)
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
A preference mechanism based on multiple criteria resolution
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Enhancing a search algorithm to perform intelligent backtracking
Theory and Practice of Logic Programming
CLAIRE: combining sets, search and rules to better express algorithms
Theory and Practice of Logic Programming
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
Theory and Practice of Logic Programming
Using active constraints to parse GPSGs
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
JAUNT: a constraint solver for disjunctive feature structures
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 4
Planning texts by constraint satisfaction
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
Theory and Practice of Logic Programming
When do bounds and domain propagation lead to the same search space?
ACM Transactions on Programming Languages and Systems (TOPLAS)
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
On the system of two all_different predicates
Information Processing Letters
An architecture for workflow scheduling under resource allocation constraints
Information Systems
Optimizing Referential Coherence in Text Generation
Computational Linguistics
A unified framework for partial and hybrid search methods in constraint programming
Computers and Operations Research
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Programming finite-domain constraint propagators in Action Rules
Theory and Practice of Logic Programming
Using parametric set constraints for locating errors in CLP programs
Theory and Practice of Logic Programming
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
Constraint functional logic programming over finite domains
Theory and Practice of Logic Programming
Splitting heuristics for disjunctive numerical constraints
Proceedings of the 2008 ACM symposium on Applied computing
Declarative language extensions for prolog courses
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Efficient Handling of Relational Database Combinatorial Queries Using CSPs
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Semiring-Based Soft Constraints
Concurrency, Graphs and Models
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Experimental analysis of optimization techniques on the road passenger transportation problem
Engineering Applications of Artificial Intelligence
A multi-objective evolutionary algorithm for examination timetabling
Journal of Scheduling
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence
Length-lex ordering for set CSPs
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Dynamic arc consistency for CSPs
International Journal of Knowledge-based and Intelligent Engineering Systems
The Second Answer Set Programming Competition
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Coordinating product, process, and supply chain decisions: A constraint satisfaction approach
Engineering Applications of Artificial Intelligence
A constraint satisfaction approach to geospatial reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Bound consistency for binary length-lex set constraints
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Binary encodings of non-binary constraint satisfaction problems: algorithms and experimental results
Journal of Artificial Intelligence Research
Simulation of hybrid circuits in constraint logic programming
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Why AC-3 is almost always better than AC-4 for establishing arc consistency in CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Satisfiability of boolean formulas over linear constraints
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Genetic state-space search for constrained optimization problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
The LPSAT engine & its application to resource planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Constraint propagation and value acquisition: why we should do it interactively
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Extracting constraint satisfaction subproblems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Increasing functional constraints need to be checked only once
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
An efficient arc consistency algorithm for a class of CSP problems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Lifted first-order probabilistic inference
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
On the system of two all_different predicates
Information Processing Letters
An improved constraint satisfaction adaptive neural network for job-shop scheduling
Journal of Scheduling
Automated reasoning for multi-step feature model configuration problems
Proceedings of the 13th International Software Product Line Conference
CPP: a constraint logic programming based planner with preferences
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Logic programming approaches for representing and solving constraint satisfaction problems
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
POOC: a platform for object-oriented constraint programming
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Visopt shopfloor: going beyond traditional scheduling
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Action rules for programming constraint propagators and interactive user interfaces
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Constraint solving over OCR graphs
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
Automated diagnosis of feature model configurations
Journal of Systems and Software
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
A constraint programming-based solution approach for medical resident scheduling problems
Computers and Operations Research
The Knowledge Engineering Review
Using constraints to model disjunctions in rule-based reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Nondeterministic lisp as a substrate for constraint logic programming
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A new unification method for temporal reasoning with constraints
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Effective redundant constraints for online scheduling
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
SunRay V - an intelligent container trucking operations management and control system
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A 25-year perspective on logic programming
Using constraint programming to verify DOPLER variability models
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Applying multi-objective evolutionary algorithms to QoS-aware web service composition
ADMA'10 Proceedings of the 6th international conference on Advanced data mining and applications - Volume Part II
Core-generating discretization for rough set feature selection
Transactions on rough sets XIII
Experiments in parallel constraint-based local search
EvoCOP'11 Proceedings of the 11th European conference on Evolutionary computation in combinatorial optimization
A refactoring constraint language and its application to eiffel
Proceedings of the 25th European conference on Object-oriented programming
Integrating AI and OR: an industrial engineering perspective
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
Algorithms and constraint programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
High-level nondeterministic abstractions in c++
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Vertex-Magic total labeling of a graph by distributed constraint solving in the mozart system
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
The car-sequencing problem as n-ary CSP: sequential and parallel solving
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Generating numerical approximations
Computational Linguistics
Computational generation of referring expressions: A survey
Computational Linguistics
Multi-tape automata with symbol classes
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Compiler technology for blue gene systems
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
The language features and architecture of b-prolog
Theory and Practice of Logic Programming - Prolog Systems
Solving collaborative fuzzy agents problems with CLP(FD)
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Distributed constraint-based railway simulation
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
Heyting domains for constraint abduction
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Constraints
Paper: A constraint logic programming framework for constructing DNA restriction maps
Artificial Intelligence in Medicine
Computer Languages
Solving a cutting-stock problem with the constraint logic programming language chip
Mathematical and Computer Modelling: An International Journal
Extending chip in order to solve complex scheduling and placement problems
Mathematical and Computer Modelling: An International Journal
Targeting the Cell Broadband Engine for constraint-based local search
Concurrency and Computation: Practice & Experience
Computer Science Review
Improving the performance of FD constraint solving in a CFLP system
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
A Hybrid Tabu Search and Constraint Programming Algorithm for the Dynamic Dial-a-Ride Problem
INFORMS Journal on Computing
Executing Suspended Logic Programs
Fundamenta Informaticae
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Fundamenta Informaticae
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
LOGIC BASED PROGRAMMED STRUCTURE REWRITING SYSTEMS
Fundamenta Informaticae
A heuristic to solve the synchronized log-truck scheduling problem
Computers and Operations Research
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Diagnosing correctness of semantic workflow models
Data & Knowledge Engineering
Inference for a new probabilistic constraint logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Evolving feature model configurations in software product lines
Journal of Systems and Software
Specifying and solving symbolic and numeric temporal constraints
International Journal of Knowledge-based and Intelligent Engineering Systems
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
Hi-index | 0.03 |