On SAT Technologies for Dependency Management and Beyond

SAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two great pieces of software are using SAT technology to manage dependency like problems: the open source

• Type: Conference
• Year: 2008
• Where: SPLC
• Authors: Daniel Le Berre, Anne Parrain
• Keywords: Constraint Programming Tools, Mixed Integer Programming, Software Engineering, Solvers Technology, SPLC 2008