IBM®
Skip to main content
    Country/region change    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
Printable version of this page  Printer friendly format
e-mail your colleague a link to this page  E-mail this page

Tough Problems Solved

IBM Research Constraint Solver


    
The IBM Research Constraint Solver models and solves complex problems through the examination and prioritization of myriad variables and constraints.    
linkBrowse tough problems


The IBM Research Constraint Solver models and solves complex problems through the examination and prioritization of myriad variables and constraints.
   
Variables can be a headache. Ask any seventh grader puzzling over a2=9. When variables for a given problem include the myriad manufactured parts that make a truck engine run or the skill sets of thousands of employees, the capabilities of the human mind can be overwhelmed.


Enter the IBM Research Constraint Solver. This core technology is offered by IBM On Demand Innovation Services, a partnership between IBM Research and IBM Global Business Services (GBS). The Constraint Solver models and solves problems involving thousands of variables and multi-tiered constraints. A robust general-purpose tool in use for more than a decade, it employs both deterministic and stochastic searches to develop high-level parameters for each problem. It then uses algorithms to solve them.


The Constraint Solver employs open interfaces, allowing it to be easily used for such diverse problems as hardware verification, workforce management, automotive configuration and circuit design. All the algorithms embedded in the generic Constraint Solver technology can be applied to each problem. Two industrial-scale applications of Constraint Solver technology now in the works involve vehicle configuration and workforce management.

Modern vehicles are highly configurable and must be shipped according to strict specifications. In addition, many types of standards, including manufacturing and engineering best practices, and international commerce laws, govern their construction and sale. In a hotly competitive market, these manufacturing complexities are coupled with tight business pressures. The state-of-the-art technology offered by the Constraint Solver can help provide valid configurations that conform to user requirements and can assist in validation and extension of orders. It also offers powerful capabilities to help solve full-fledged constraint-satisfaction dilemmas.

Human resource managers face similar challenges when deploying human capital. In a typical workforce-management problem, thousands of employees must be assigned to jobs. Variables and constraints include each individual’s skills, pay level, geographic location and availability. As companies seek to optimize their workforces, they find a growing need for tools to help forecast staff demand, place employees, address skill gaps, plan schedules and engage in long-term planning.

The Constraint Solver meets these challenges by handling situations in which, for example, human resource managers need to fill a job that requires a predetermined skill set, a set rank within the corporate hierarchy, and an employee already living in a given locale. The Constraint Solver first prioritizes constraints and variables according to client need. The tool will then either match an employee to the job, or determine whether the problem cannot be solved with a given pool of employees because of conflicting constraints.

To see how the Constraint Solver works in the real world, consider a recent GBS engagement with a major truck manufacturer. The manufacturer needed to optimize its commercial-vehicle sales chain. In doing so, it wanted to consider all aspects of engine-configuration with the goal of improving quality and manufacturing efficiency.

The IBM Research Constraint Solver proved an integral part of this GBS solution. IBM delivered a thorough upgrade of the company’s infrastructure, employing the Constraint Solver to tackle problems such as order validation and correction. Upon full implementation, the truck manufacturer will be able to better comply with governmental standards. It will be able to more quickly change configuration models as governmental standards change. Finally, the manufacturer may enjoy an improvement in its customer-satisfaction levels.

To find out more about the IBM Research Constraint Solver and to learn about how it can help solve complex problems in your business, contact On Demand Innovation Services today.

    
 
 Related case studies 
IBM core optimization technologies
IBM Research used smart scheduling to help an international airline dramatically reduce the costs of aircraft parking.
 More on the issue 
Focus on Workforce Analytics
IBM Research is working with the Human Capital Management practice in IBM Global Business Services to help clients optimize their workforce by reducing labor costs, retaining critical skills and deploying personnel efficiently.
 More on research 
Workforce optimization: Identification and assignment of professional workers using constraint programming
Constraint programming can match highly skilled workers to available jobs.
Contact ODIS 
linkHow can we innovate for you? Contact ODIS.  
Contact me 
linkInterested in applying IBM innovation to your business issues? Let's talk.  



    About IBMPrivacyContact