Sciweavers

Share
SPLC
2008

On SAT Technologies for Dependency Management and Beyond

8 years 11 months ago
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
Daniel Le Berre, Anne Parrain
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2008
Where SPLC
Authors Daniel Le Berre, Anne Parrain
Comments (0)
books