A fast algorithm for the bound consistency of alldiff constraints
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Encodings of non-binary constraint satisfaction problems
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
Embedding Relaxations in Global Constraints for Solving TSP and TSPTW
Annals of Mathematics and Artificial Intelligence
An Optimal Strategy for the Constrained Cycle Cover Problem
Annals of Mathematics and Artificial Intelligence
Optimization-Oriented Global Constraints
Constraints
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
Journal of Automated Reasoning
Mathematical Programming Techniques in Constraint Programming: A Short Overview
Journal of Heuristics
A Combinatorial Approach to Content-Based Music Selection
IEEE MultiMedia
Permutation Problems and Channelling Constraints
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
On Algorithms for Decomposable Constraints
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Solving the Sports League Scheduling Problem with Tabu Search
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Constraint Programming and Graph Algorithms
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint
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
A Global Constraint Combining a Sum Constraint and Difference Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Capturing Structure with Satisfiability
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A Filtering Algorithm for the Stretch Constraint
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Dual Models of Permutation Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family
CP '01 Proceedings of the 7th 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
Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Assigning Resources to Constrained Activities
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Specific Filtering Algorithms for Over-Constrained Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
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
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
Constraint satisfaction algorithms for graph pattern matching
Mathematical Structures in Computer Science
Modeling and detecting the cascade vulnerability problem using soft constraints
Proceedings of the 2004 ACM symposium on Applied computing
Constraint programming and maths programming
The Knowledge Engineering Review
The Knowledge Engineering Review
A scheme for unifying optimization and constraint satisfaction methods
The Knowledge Engineering Review
When do bounds and domain propagation lead to the same search space?
ACM Transactions on Programming Languages and Systems (TOPLAS)
On global warming: Flow-based soft global constraints
Journal of Heuristics
Bucket elimination for multiobjective optimization problems
Journal of Heuristics
Sweep synchronization as a global propagation mechanism
Computers and Operations Research
Accelerating column generation for aircraft scheduling using constraint propagation
Computers and Operations Research
A soft constraint-based approach to the cascade vulnerability problem
Journal of Computer Security - Special issue on security track at ACM symposium on applied computing 2004
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
Managing restaurant tables using constraints
Knowledge-Based Systems
Models for Global Constraint Applications
Constraints
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics
Removing propagation redundant constraints in redundant modeling
ACM Transactions on Computational Logic (TOCL)
IBM Journal of Research and Development - Business optimization
Simultaneous matchings: Hardness and approximation
Journal of Computer and System Sciences
International Journal of Parallel Programming - Special Issue on Multiprocessor-based embedded systems
Modelling for lazy clause generation
CATS '08 Proceedings of the fourteenth symposium on Computing: the Australasian theory - Volume 77
A global constraint for total weighted completion time for cumulative resources
Engineering Applications of Artificial Intelligence
The "Not-Too-Heavy Spanning Tree" Constraint
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
A Soft Constraint of Equality: Complexity and Approximability
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Structural Tractability of Propagated Constraints
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Perfect Constraints Are Tractable
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Edge Matching Puzzles as Hard SAT/CSP Benchmarks
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generalised arc consistency for the AllDifferent constraint: An empirical survey
Artificial Intelligence
Filtering algorithms for the multiset ordering constraint
Artificial Intelligence
Generalizing Global Constraints Based on Network Flows
Recent Advances in Constraints
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks
Recent Advances in Constraints
Approximated consistency for the automatic recording constraint
Computers and Operations Research
Constraint-Level Advice for Shaving
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Consistency checking of all different constraints over bit-vectors within a SAT solver
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Open Constraints in a Boundable World
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Reducing temporal delays in a real time train management system
Proceedings of the 2008 conference on Tenth Scandinavian Conference on Artificial Intelligence: SCAI 2008
How Hard is a Commercial Puzzle: the Eternity II Challenge
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
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
Guiding Search using Constraint-level Advice
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
SLIDE: A Useful Special Case of the CARDPATH Constraint
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
The complexity of global constraints
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
A quadratic propagator for the inter-distance constraint
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Dependency parsing by belief propagation
EMNLP '08 Proceedings of the Conference on Empirical Methods in Natural Language Processing
Vida: How to Use Bayesian Inference to De-anonymize Persistent Communications
PETS '09 Proceedings of the 9th International Symposium on Privacy Enhancing Technologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Using expectation maximization to find likely assignments for solving CSP's
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Generating and solving logic puzzles through constraint satisfaction
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A new incomplete method for CSP inconsistency checking
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
The parameterized complexity of global constraints
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Constraint solving in common Lisp
Proceedings of the 2007 International Lisp Conference
Dual modelling of permutation and injection problems
Journal of Artificial Intelligence Research
Binary encodings of non-binary constraint satisfaction problems: algorithms and experimental results
Journal of Artificial Intelligence Research
The ultrametric constraint and its application to phylogenetics
Journal of Artificial Intelligence Research
The difference all-difference makes
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The symmetric alldiff constraint
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Generalizing inconsistency learning for constraint satisfaction
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A fast and simple algorithm for bounds consistency of the all different constraint
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Bounds arc consistency for weighted CSPs
Journal of Artificial Intelligence Research
Balance and filtering in structured satisfiable problems
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
The range and roots constraints: specifying counting and occurrence problems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Circuit complexity and decompositions of global constraints
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Decompositions of all different, global cardinality and related constraints
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Making bound consistency as effective as arc consistency
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Open contractible global constraints
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
International Journal of Data Mining and Bioinformatics
Constraint models for graceful graphs
Constraints
Monadic constraint programming
Journal of Functional Programming
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
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
Reformulating constraint satisfaction problems to improve scalability
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Tailoring solver-independent constraint models: a case study with ESSENCE' and MINION
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Reformulating CSPs for scalability with application to geospatial reasoning
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
Constructive interval disjunction
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Filtering for subgraph isomorphism
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Solution counting algorithms for constraint-centered search heuristics
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Challenges in satisfiability modulo theories
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
OASiS: a service-oriented architecture for ambient-aware sensor networks
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Filtering numerical CSPs using well-constrained subsystems
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Constraints of difference and equality: a complete taxonomic characterisation
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
CP'09 Proceedings of the 15th 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
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
AllDifferent-based filtering for subgraph isomorphism
Artificial Intelligence
Implementing logical connectives in constraint programming
Artificial Intelligence
Detecting unsatisfiable CSPs by coloring the micro-structure
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Decomposition of the NVALUE constraint
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
A new hybrid tractable class of soft constraint problems
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Generalized arc consistency for global cardinality constraint
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Inference-based constraint satisfaction supports explanation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
The extended global cardinality constraint: An empirical survey
Artificial Intelligence
Complex university course timetabling
Journal of Scheduling
An efficient generic network flow constraint
Proceedings of the 2011 ACM Symposium on Applied Computing
Integrating strong local consistencies into constraint solvers
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Hybrid tractability of valued constraint problems
Artificial Intelligence
The alldifferent constraint with precedences
CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Revisiting the tree Constraint
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Boolean equi-propagation for optimized SAT encoding
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
CP models for maximum common subgraph problems
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Soft constraints of difference and equality
Journal of Artificial Intelligence Research
A bayesian approach to tackling hard computational problems
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
Algorithms and constraint programming
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
Generalizing alldifferent: the somedifferent constraint
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Heavy-Tailed runtime distributions: heuristics, models and optimal refutations
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Using dominators for solving constrained path problems
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
A generic framework for local search: application to the sudoku problem
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part I
Towards "propagation = logic + control"
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Lazy explanations for constraint propagators
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Filtering algorithms for the NVALUE constraint
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Multiconsistency and robustness with global constraints
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Compositional derivation of symmetries for constraint satisfaction
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
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
A local search system for solving constraint problems of declarative graph-based global 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
The all different and global cardinality constraints on set, multiset and tuple variables
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
Among, common and disjoint constraints
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
Views and iterators for generic constraint implementations
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint 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
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
The range constraint: algorithms and implementation
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A hybrid column generation and constraint programming optimizer for the tail assignment problem
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Expected-Case analysis for delayed filtering
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A constraint programming approach to bioinformatics structural problems
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Stochastic constraint programming by neuroevolution with filtering
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
More robust counting-based search heuristics with alldifferent constraints
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
GCC-like restrictions on the same constraint
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Interactively solving school timetabling problems using extensions of constraint programming
PATAT'04 Proceedings of the 5th international conference on Practice and Theory of Automated Timetabling
Cell formation in group technology using constraint programming and Boolean satisfiability
Expert Systems with Applications: An International Journal
Constraint satisfaction problems: convexity makes all different constraints tractable
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
The multi-inter-distance constraint
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Finite-length Markov processes with constraints
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
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
Flow-Based combinatorial chance constraints
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
An empirical study of learning and forgetting constraints
AI Communications - 18th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Predicting good propagation methods for constraint satisfaction
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Solving manufacturing cell design problems using constraint programming
IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
Counting-based search: branching heuristics for constraint satisfaction problems
Journal of Artificial Intelligence Research
Tractable triangles and cross-free convexity in discrete optimisation
Journal of Artificial Intelligence Research
Increasing symmetry breaking by preserving target symmetries
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Towards solver-independent propagators
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
FOCUS: a constraint for concentrating high costs
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
View-based propagator derivation
Constraints
Compiling finite domain constraints to sat with bee*
Theory and Practice of Logic Programming
Constraint satisfaction problems: Convexity makes AllDifferent constraints tractable
Theoretical Computer Science
The tractability of CSP classes defined by forbidden patterns
Journal of Artificial Intelligence Research
ACSC '12 Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122
The constraint of difference and total dual integrality
Proceedings of the 17th Panhellenic Conference on Informatics
Scarab: a rapid prototyping tool for SAT-based constraint programming systems
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Maximum-throughput mapping of SDFGs on multi-core SoC platforms
Journal of Parallel and Distributed Computing
Complexity issues related to propagation completeness
Artificial Intelligence
On the complexity of global scheduling constraints under structural restrictions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The extended global cardinality constraint: an empirical survey (extended abstract)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
On the subgraph epimorphism problem
Discrete Applied Mathematics
Hi-index | 0.00 |