Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

SPLC
2008

favoriteEmaildiscussreport

117views Software Engineering» more SPLC 2008»

On SAT Technologies for Dependency Management and Beyond

13 years 5 months ago

On SAT Technologies for Dependency Management and Beyond

Download www.mancoosi.org

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

Real-time Traffic

Constraint Programming Tools | Mixed Integer Programming | Software Engineering | Solvers Technology | SPLC 2008 |

claim paper

Related Content

» Exploring the contribution of information technology to governance risk management and com...

» A Thing Called Fluid Process Beyond Rigidity in Business Process

» Webbased technologies reaching their ultimate potential on restricted budgets

» Entity information management in complex networks

» FedWare Middleware Services to Cope with Information Consistency in Federated Identity Man...

» Reading in the office

» Retrievability an evaluation measure for higher order information access tasks

» Ubiquitous Microblogging A FlowBased FrontEnd for Information Logistics

» Mining interesting locations and travel sequences from GPS trajectories

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2008
Where	SPLC
Authors	Daniel Le Berre, Anne Parrain

Comments (0)