Sciweavers

13376 search results - page 212 / 2676
» Problem Solving with
Sort
View
AICCSA
2006
IEEE
95views Hardware» more  AICCSA 2006»
15 years 9 months ago
DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
Abdulwahed M. Abbas, Edward P. K. Tsang, Ahmad H. ...
EAAI
2008
104views more  EAAI 2008»
15 years 3 months ago
Feasible distributed CSP models for scheduling problems
Nowadays, many real problems can be formalized as Distributed CSPs. A distributed constraint satisfaction problem (DisCSP) is a CSP in which variables and constraints are distribu...
Miguel A. Salido, Adriana Giret
124
Voted
STACS
2010
Springer
15 years 10 months ago
An Efficient Quantum Algorithm for Some Instances of the Group Isomorphism Problem
In this paper we consider the problem of testing whether two finite groups are isomorphic. Whereas the case where both groups are abelian is well understood and can be solved effi...
François Le Gall
EOR
2010
104views more  EOR 2010»
15 years 3 months ago
Cut generation for an integrated employee timetabling and production scheduling problem
This paper investigates the integration of the employee timetabling and production scheduling problems. At the first level, we manage a classical employee timetabling problem. At ...
O. Guyon, P. Lemaire, Eric Pinson, David Rivreau
EMMCVPR
2009
Springer
15 years 10 months ago
General Search Algorithms for Energy Minimization Problems
We describe a scheme for solving Energy Minimization problems, which is based on the A∗ algorithm accomplished with appropriately chosen LP-relaxations as heuristic functions. Th...
Dmitrij Schlesinger