ACM SIGSOFT Software Engineering Notes
ACM Transactions on Computational Logic (TOCL)
Building industrial applications with constraint programming
Constraints in computational logics
A constraint-based architecture for local search
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Finding the Right Hybrid Algorithm – A Combinatorial Meta-Problem
Annals of Mathematics and Artificial Intelligence
Mixed Global Constraints and Inference in Hybrid CLP–IP Solvers
Annals of Mathematics and Artificial Intelligence
SALSA: A Language for Search Algorithms
Constraints
Mathematical Programming Techniques in Constraint Programming: A Short Overview
Journal of Heuristics
Using Constraint-Based Operators to Solve the Vehicle Routing Problem with Time Windows
Journal of Heuristics
IEEE Transactions on Knowledge and Data Engineering
Combinatorial Optimization in OPL Studio
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Compiling High-Level Type Constructors in Constraint Programming
PADL '01 Proceedings of the Third International Symposium 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
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Rule Based Programming with Constraints and Strategies
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
OPL Script: Composing and Controlling Models
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Combining Relational Algebra, SQL, and Constraint Programming
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
A New Approach in Object-Based Knowledge Representation: The AROM System
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Breaking Row and Column Symmetries in Matrix Models
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A Modeling Framework for Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Towards Inferring Labelling Heuristics for CSP Application Domains
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
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
Perspectives on artificial intelligence planning
Eighteenth national conference on Artificial intelligence
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
Modular lazy search for Constraint Satisfaction Problems
Journal of Functional Programming
Constraint programming and maths programming
The Knowledge Engineering Review
A scheme for unifying optimization and constraint satisfaction methods
The Knowledge Engineering Review
A decomposition-based implementation of search strategies
ACM Transactions on Computational Logic (TOCL)
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
An XML schema definition for an operations research modeling language
Design and application of hybrid intelligent systems
Proceedings of the 35th conference on Winter simulation: driving innovation
IEEE Intelligent Systems
When do bounds and domain propagation lead to the same search space?
ACM Transactions on Programming Languages and Systems (TOPLAS)
Predicate-calculus-based logics for modeling and solving search problems
ACM Transactions on Computational Logic (TOCL)
Branching and pruning: an optimal temporal POCL planner based on constraint programming
Artificial Intelligence
A unified framework for partial and hybrid search methods in constraint programming
Computers and Operations Research
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Computers and Operations Research
Combining relational algebra, SQL, constraint modelling, and local search
Theory and Practice of Logic Programming
A Modeling Layer for Constraint-Programming Libraries
INFORMS Journal on Computing
Programmed Search in a Timetabling Problem over Finite Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
Constraint functional logic programming over finite domains
Theory and Practice of Logic Programming
Exploiting functional dependencies in declarative problem specifications
Artificial Intelligence
IBM Journal of Research and Development - Business optimization
Cell formation with multiple process plans and manufacturing attributes
International Journal of Computer Applications in Technology
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
USING A THEOREM PROVER FOR REASONING ON CONSTRAINT PROBLEMS
Applied Artificial Intelligence
The Design of the Zinc Modelling Language
Constraints
Expressive power and abstraction in Essence
Constraints
Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computing leximin-optimal solutions in constraint networks
Artificial Intelligence
Configuring storage-area networks using mandatory security
Journal of Computer Security
Artificial Intelligence
CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Evaluating ASP and commercial solvers on the CSPLib
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
MINION: A Fast, Scalable, Constraint Solver
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Dynamic arc consistency for CSPs
International Journal of Knowledge-based and Intelligent Engineering Systems
A framework for representing and solving NP search problems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The design of ESSENCE: a constraint language for specifying combinatorial problems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The rules of constraint modelling
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Branching and pruning: An optimal temporal POCL planner based on constraint programming
Artificial Intelligence
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Automatically Discovering Hidden Transformation Chaining Constraints
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Monadic constraint programming
Journal of Functional Programming
Engineering Applications of Artificial Intelligence
The decision model of task allocation for constrained stochastic distributed systems
Computers and Industrial Engineering
Translating datalog-like optimization queries into ILOG programs
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
CGRASS: a system for transforming constraint satisfaction problems
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
MiniZinc: towards a standard CP modelling language
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
An Integrated Solver for Optimization Problems
Operations Research
Hierarchical timetable construction
PATAT'06 Proceedings of the 6th international conference on Practice and theory of automated timetabling VI
Solving a log-truck scheduling problem with constraint programming
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
The proper treatment of undefinedness in constraint languages
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
A new model for automated table layout
Proceedings of the 10th ACM symposium on Document engineering
Applying constraint programming to identification and assignment of service professionals
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
On testing constraint programs
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
High-level modeling of component-based CSPs
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Procedural code generation vs static expansion in modelling languages for constraint programming
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Grammatical error simulation for computer-assisted language learning
Knowledge-Based Systems
Scheduling a single robot in a job-shop environment through precedence constraint posting
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II
Building table formatting tools
Proceedings of the 11th ACM symposium on Document engineering
Route finder: efficiently finding k shortest paths using constraint programming
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Half reification and flattening
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Rule-based modeling and constraint programming based solution of the assembly line balancing problem
Expert Systems with Applications: An International Journal
New model and heuristics for safety stock placement in general acyclic supply chain networks
Computers and Operations Research
On the Facial Structure of the Alldifferent System
SIAM Journal on Discrete Mathematics
Using a theorem prover for reasoning on constraint problems
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
SAT as an effective solving technology for constraint problems
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent 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
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Partial solutions with unique completion
Reasoning, Action and Interaction in AI Theories and Systems
Automating mathematical program transformations
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Nondeterministic control for hybrid search
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Detecting and breaking symmetries by reasoning on problem specifications
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Using a cooperative solving approach to global optimization problems
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Model search: formalizing and automating constraint solving in MDE platforms
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Implementation and experimentation of the logic language NP Datalog
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Automatically exploiting symmetries in constraint programming
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Extensions to the repetitive branch and bound algorithm for globally optimal clusterwise regression
Computers and Operations Research
Constraints
Engineering Applications of Artificial Intelligence
Constraint programming and a usability quest
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Compiling finite domain constraints to sat with bee*
Theory and Practice of Logic Programming
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
Optimal Event Monitoring through Internet Mashup over Multivariate Time Series
International Journal of Decision Support System Technology
Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems
Journal of Artificial Intelligence Research
MiningZinc: a modeling language for constraint-based mining
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |