Building industrial applications with constraint programming
Constraints in computational logics
Interpreting Sloppy Stick Figures by Graph Rectification and Constraint-Based Matching
GREC '01 Selected Papers from the Fourth International Workshop on Graphics Recognition Algorithms and Applications
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
A Meta-heuristic for Subset Problems
PADL '01 Proceedings of the Third 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
A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Object-Oriented Constraint Programming with J.CP
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD)
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Finite Domain CLP Solver on Top of Mercury
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Modelling Resource Transitions in Constraint-Based Scheduling
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Evaluation of Search Heuristics for Embedded System Scheduling Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A CLP Approach to the Protein Side-Chain Placement Problem
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Interpreting Sloppy Stick Figures with Constraint-Based Subgraph Matching
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A New Multi-resource cumulatives Constraint with Negative Heights
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Indexical-Based Solver Learning
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
An interval constraint system for lattice domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Commitment Management through Constraint Reification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Limited assignments: a new cutoff strategy for incomplete depth-first search
Proceedings of the 2005 ACM symposium on Applied computing
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Knowledge base reuse through constraint relaxation
Proceedings of the 3rd international conference on Knowledge capture
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Proceedings of the 1st international workshop on Random testing
Programming finite-domain constraint propagators in Action Rules
Theory and Practice of Logic Programming
Formal analysis of PIN block attacks
Theoretical Computer Science - Automated reasoning for security protocol analysis
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
User-definable rule priorities for CHR
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Goal-oriented test data generation for pointer programs
Information and Software Technology
Constraint functional logic programming over finite domains
Theory and Practice of Logic Programming
Declarative programming for verification: lessons and outlook
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Specifying and reasoning about uncertain agents
International Journal of Approximate Reasoning
Declarative language extensions for prolog courses
Proceedings of the 2008 international workshop on Functional and declarative programming in education
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generalising Constraint Solving over Finite Domains
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Flexible Search Framework for CHR
Constraint Handling Rules
Automatic Generation of Implied Constraints
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A global constraint for nesting problems
Artificial Intelligence Review
Automatic Implication Checking for CHR Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Communicating sequential processes for distributed constraint satisfaction
Information Sciences: an International Journal
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
An abstract interpretation based combinator for modelling while loops in constraint programming
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Advisors for incremental propagation
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Boosting probabilistic choice operators
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Maintaining state in propagation solvers
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Solving Sequential Planning Problems via Constraint Satisfaction
Fundamenta Informaticae - Methodologies for Intelligent Systems
A generalized-zero-preserving method for compact encoding of concept lattices
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Mapping extended feature models to constraint logic programming over finite domains
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Sweeping with continuous domains
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Global constraints on feature models
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
A safe and flexible CP-based approach for velocity tuning problems
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Network monitoring with constraint programming: preliminary specification and analysis
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Industrial-size scheduling with ASP+CP
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Half reification and flattening
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Generating propagators for finite set constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
HM'06 Proceedings of the Third international conference on Hybrid Metaheuristics
Sicstus prolog-the first 25 years
Theory and Practice of Logic Programming - Prolog Systems
Effective modeling with constraints
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
On generators of random quasigroup problems
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
Verification and analysis of organisational change
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
A pearl on SAT and SMT solving in Prolog
Theoretical Computer Science
FDCC: a combined approach for solving constraints over finite domains and arrays
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
The finite domain constraint solver of SWI-Prolog
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Model-based automated and guided configuration of embedded software systems
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Towards solver-independent propagators
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
View-based propagator derivation
Constraints
Scenario realizability with constraint optimization
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Theory propagation and rational-trees
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A concurrent constraint and pi-calculus-based language for service contracting
International Journal of Wireless and Mobile Computing
Hi-index | 0.00 |