Advanced - Powered by Google


   
Log In
New Account
  
 
Home
My Page
Project Tree
Project Openings
SAT4J
          
 
 
Summary
Forums
Lists
Tasks
Docs
Surveys
News
CVS
Files
                  
 
Posted By: Daniel Le Berre
Date: 2010-10-19 13:12
Summary: SAT4J 2.2.2 released

Release 2.2 of Sat4j contains a new and faster explanation engine that ships with Eclipse 3.6.

The Pseudo-Boolean library provides now Weighted Boolean Optimization capability as defined in the Pseudo-Boolean Evaluation 2010. It also provides a new parallel Pseudo-Boolean solver that generally improves optimization time.

The MaxSat solver has received a lot of attention since release 2.1, and has been fine tuned over the months to deliver our best MaxSat solver so far.

A detailed description of release 2.2 has been published in the JSAT journal:
Daniel Le Berre and Anne Parrain. The Sat4j library, release 2.2. JSAT Volume 7 (2010), system description, pages 59-64
http://jsat.ewi.tudelft.nl/content/sd/JSAT7_4_LeBerre.pdf

People willing to cite Sat4j in a scientific paper are invited to use that reference instead of using the URL of the project.

A presentation focusing on the parallel Pseudo-Boolean solver and the MaxSat solver is available here:
http://www.satcompetition.org/PoS/presentations-pos/leberre.pdf

Latest News
LemonLDAP::NG 1.4.1 is out!
    Clément OUDOT - 2014-07-25 12:34
Talend Open Studio for Data Integration 5.6.0M2 available
    Patrick Coffre - 2014-07-07 18:55
LemonLDAP::NG 1.4.0 is out!
    Clément OUDOT - 2014-06-30 17:14
Talend Open Studio for Data Integration 5.5.1 available
    Patrick Coffre - 2014-06-25 11:19
Release WebLab Bundle 2.0.2
    Arnaud Saval - 2014-06-25 11:18

Discussion Forums: SAT4J 2.2.2 released

Start New Thread Start New Thread | Admin

 

Topic Topic Starter Replies Last Post
   

Copyright © 1999-2008, OW2 Consortium | contact | You have a difficulty, a problem ? Please report an issue using your OW2 forge account credentials