Current Approaches for Solving Over-Constrained Problems

Authors:
Pedro Meseguer;Noureddine Bouhmala;Taoufik Bouzoubaa;Morten Irgens;Martí Sánchez
Affiliations:
IIIA-CSIC Campus UAB, 08193 Bellaterra, Spain pedro@iiia.csic.es;Vesfold University College, N-3103 Tønsberg, Norway noureddine.bouhmala@hive.no;SGTM-TreeDAlgo 23 rue Massena, 20100 Casablanca, Maroc tbo@treedalgo.co.ma;SINTEF Postboks 124 Blindern, N-0314 Oslo, Norway morten.irgens@sintef.no;IIIA-CSIC Campus UAB, 08193 Bellaterra, Spain marti@iiia.csic.es
Venue:
Constraints
Year:
2003

Citing 42
Cited 31

Fine-grained mobility in the Emerald system

ACM Transactions on Computer Systems (TOCS)
Designing a Process Migration Facility: The Charlotte Experience

Computer
Constructing school timetables using simulated annealing: sequential and parallel algorithms

Management Science
Transparent process migration: design alternatives and the sprite implementation

Software—Practice & Experience
Adaptation in natural and artificial systems

Adaptation in natural and artificial systems
Algorithms for constraint-satisfaction problems: a survey

AI Magazine
Partial constraint satisfaction

Artificial Intelligence - Special volume on constraint-based reasoning
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems

Artificial Intelligence - Special volume on constraint-based reasoning
Constraint hierarchies

Lisp and Symbolic Computation
GENET: a connectionist architecture for solving constraint satisfaction problems by iterative improvement

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Weak-commitment search for solving constraint satisfaction problems

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Solution reuse in dynamic constraint satisfaction problems

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Distributed snapshots: determining global states of distributed systems

ACM Transactions on Computer Systems (TOCS)
A genetic algorithm for the generalised assignment problem

Computers and Operations Research
KQML as an agent communication language

Software agents
Understanding Code Mobility

IEEE Transactions on Software Engineering
Maintaining reversible DAC for Max-CSP

Artificial Intelligence
LIME: Linda meets mobility

Proceedings of the 21st international conference on Software engineering
Graph coloring conditions for the existence of solutions to the timetable problem

Communications of the ACM
Genetic Algorithms in Search, Optimization and Machine Learning

Genetic Algorithms in Search, Optimization and Machine Learning
Programming and Deploying Java Mobile Agents Aglets

Programming and Deploying Java Mobile Agents Aglets
Radio Link Frequency Assignment

Constraints
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties,and Comparison

Constraints
Earth Observation Satellite Management

Constraints
A Survey of Automated Timetabling

Artificial Intelligence Review
A Constraint-Based High School Scheduling System

IEEE Expert: Intelligent Systems and Their Applications
Proceedings of the Second International Workshop on Mobile Agents

MA '98 Proceedings of the Second International Workshop on Mobile Agents
Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach

ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization

CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Partition-Based Lower Bound for Max-CSP

CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Directed Arc Consistency Preprocessing

Constraint Processing, Selected Papers
Heuristic Methods for Over-Constrained Constraint Satisfaction Problems

Over-Constrained Systems
Communication Concepts for Mobile Agent Systems

MA '97 Proceedings of the First International Workshop on Mobile Agents
µCODE: A Lightweight and Flexible Mobile Code Toolkit

MA '98 Proceedings of the Second International Workshop on Mobile Agents
The Shadow Approach: An Orphan Detection Protocol for Mobile Agents

MA '98 Proceedings of the Second International Workshop on Mobile Agents
Reactive Tuple Spaces for Mobile Agent Coordination

MA '98 Proceedings of the Second International Workshop on Mobile Agents
An Exercise in Formal Reasoning about Mobile Communications

IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
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
Russian doll search for solving constraint optimization problems

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Enhancements of branch and bound methods for the maximal constraint satisfaction problem

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Tabu search techniques for large high-school timetabling problems

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

FANTOMAS: Fault Tolerance for Mobile Agents in Clusters

IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Designing Fault-Tolerant Mobile Systems

FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
Reliability analysis of mobile agent-based systems

Proceedings of the 2005 ACM symposium on Applied computing
Exact Max-SAT solvers for over-constrained problems

Journal of Heuristics
SPRINGS: A Scalable Platform for Highly Mobile Agents in Distributed Computing Environments

WOWMOM '06 Proceedings of the 2006 International Symposium on on World of Wireless, Mobile and Multimedia Networks
Extended constraint handling for CP-networks

Intelligent information processing II
Reliable Asynchronous Message Delivery for Mobile Agents

IEEE Internet Computing
Performance analysis of mobile agents tracking

WOSP '07 Proceedings of the 6th international workshop on Software and performance
A scalable group communication mechanism for mobile agents

Journal of Network and Computer Applications - Special issue: Network and information security: A computational intelligence approach
Monte Carlo simulation-based algorithms for estimating the reliability of mobile agent-based systems

Journal of Network and Computer Applications
Workforce optimization: identification and assignment of professional workers using constraint programming

IBM Journal of Research and Development - Business optimization
Modified branch and bound algorithm

EC'07 Proceedings of the 8th Conference on 8th WSEAS International Conference on Evolutionary Computing - Volume 8
Understanding the schema matching problem

ACS'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Computer Science - Volume 7
Reliable directory service and message delivery for large-scale mobile agent systems

TELE-INFO'07 Proceedings of the 6th WSEAS Int. Conference on Telecommunications and Informatics
A multi-agent based infrastructure to support virtual communities in elderly care

International Journal of Networking and Virtual Organisations
Automated reverse engineering of hard-coded GUI layouts

AUIC '08 Proceedings of the ninth conference on Australasian user interface - Volume 76
Domain Specific High-Level Constraints for User Interface Layout

Constraints
Constraint satisfaction problem using modified branch and bound algorithm

WSEAS Transactions on Computers
Design and Implementation of an Intelligent Robot Agent System Considering the Server's Workload

KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Constraint Relaxation Approach for Over-Constrained Agent Interaction

PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Novel directory service and message delivery mechanism enabling scalable mobile agent communication

Mobile Information Systems
Double Token-Ring and Region-Tree Based Group Communication Mechanism for Mobile Agent

Agent Computing and Multi-Agent Systems
Double Token-Ring and Region-Tree Based Group Communication Mechanism for Mobile Agent

Agent Computing and Multi-Agent Systems
ODDUGI: Ubiquitous Mobile Agent System

ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
Atomic mobile agent group communication

CCNC'10 Proceedings of the 7th IEEE conference on Consumer communications and networking conference
On the communication range in auction-based multi-agent target assignment

IWSOS'11 Proceedings of the 5th international conference on Self-organizing systems
Cluster partition-based communication of multiagents: The model and analyses

Advances in Engineering Software
Solving over-constrained problems with SAT technology

SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Intelligent information personalization leveraging constraint satisfaction and association rule methods

AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
Ensuring reliability in B2B services: Fault tolerant inter-organizational workflows

Information Systems Frontiers
On computing minimal correction subsets

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We summarize existing approaches to model and solve overconstrained problems. These problems are usually formulated as combinatorial optimization problems, and different specific and generic formalisms are discussed, including the special case of multi-objective optimization. Regarding solving methods, both systematic and local search approaches are considered. Finally we review a number of case studies on overconstrained problems taken from the specialized literature.