Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Using inference to reduce arc consistency computation
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
Valued constraint satisfaction problems: hard and easy problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Branch and bound algorithm selection by performance prediction
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Partition-Based Lower Bound for Max-CSP
Constraints
Specializing Russian Doll Search
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Opportunistic Specialization in Russian Doll Search
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Node and arc consistency in weighted CSP
Eighteenth national conference on Artificial intelligence
Hybrid backtracking bounded by tree-decomposition of constraint networks
Artificial Intelligence
Saving Support-Checks Does Not Always Save Time
Artificial Intelligence Review
Solving weighted CSP by maintaining arc consistency
Artificial Intelligence
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP
Journal of Heuristics
On-line resources allocation for ATM networks with rerouting
Computers and Operations Research
Modelling for lazy clause generation
CATS '08 Proceedings of the fourteenth symposium on Computing: the Australasian theory - Volume 77
Directional Interchangeability for Enhancing CSP Solving
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Exploiting Decomposition in Constraint Optimization Problems
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
A domain decomposition algorithm for constraint satisfaction
Journal of Experimental Algorithmics (JEA)
Boosting VNS with Neighborhood Heuristics for Solving Constraint Optimization Problems
HM '08 Proceedings of the 5th International Workshop on Hybrid Metaheuristics
Propagation via lazy clause generation
Constraints
Dynamic Orderings for AND/OR Branch-and-Bound Search in Graphical Models
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Exploiting tree decomposition and soft local consistency in weighted CSP
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Virtual Arc consistency for weighted CSP
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Local search for optimal global map generation using mid-decadal landsat images
IAAI'08 Proceedings of the 20th national conference on Innovative applications of artificial intelligence - Volume 3
Domain filtering consistencies
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Binary encodings of non-binary constraint satisfaction problems: algorithms and experimental results
Journal of Artificial Intelligence Research
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
In the quest of the best form of local consistency for weighted CSP
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Solving constraint optimization problems in anytime contexts
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Solving weighted constraint satisfaction problems with memetic/exact hybrid algorithms
Journal of Artificial Intelligence Research
Refining the basic constraint propagation algorithm
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Making AC-3 an optimal algorithm
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Optimal refutations for constraint satisfaction problems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
AND/OR branch-and-bound for graphical models
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Reasoning from last conflict(s) in constraint programming
Artificial Intelligence
Exploiting decomposition on constraint problems with high tree-width
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Set branching in constraint optimization
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Russian Doll search with tree decomposition
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Tabu search algorithm for frequency assignment problem in wireless communication networks
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Soft arc consistency revisited
Artificial Intelligence
Valid inequality based lower bounds for WCSP
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Advanced generic neighborhood heuristics for VNS
Engineering Applications of Artificial Intelligence
Towards parallel non serial dynamic programming for solving hard weighted CSP
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Evaluating and Improving Modern Variable and Revision Ordering Strategies in CSPs
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
A Framework for Certified Boolean Branch-and-Bound Optimization
Journal of Automated Reasoning
Learning cluster-based structure to solve constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Journal of Artificial Intelligence Research
Implementing an abstraction framework for soft constraints
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
On SAT modulo theories and optimization problems
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Consistencies for ultra-weak solutions in minimax weighted CSPs using the duality principle
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Dynamic virtual arc consistency
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Modularity-based decompositions for valued CSP
Annals of Mathematics and Artificial Intelligence
Automated reencoding of boolean formulas
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Hi-index | 0.00 |
The problem of radio frequencyassignment is to provide communication channels from limitedspectral resources whilst keeping to a minimum the interferencesuffered by those whishing to communicate in a given radio communicationnetwork. This problem is a combinatorial (NP-hard) optimizationproblem. In 1993, the CELAR (the French ’’Centre d‘Electroniquede l‘Armement‘‘) built a suite of simplified versions of RadioLink Frequency Assignment Problems (RLFAP) starting from dataon a real network Roisnel93. Initially designed for assessingthe performances of several Constraint Logic Programming languages,these benchmarks have been made available to the public in theframework of the European EUCLID project CALMA (CombinatorialAlgorithms for Military Applications). These problems shouldlook very attractive to the CSP community: the problem is simpleto represent, all constraints are binary and involve finite domainvariables. They nevertheless have some of the flavors of realproblems (including large size and several optimization criteria).This paper gives essential facts about the CELAR instances andalso introduces the GRAPH instances which were generated duringthe CALMA project.