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
SVN
                    
 
Notes:

Release Name: 2.0.5

Notes: That releases improves the Head/Tail data structure by using specific objects to hold unit and binary clauses. The search space exploration is modified compared to 2.0.4 so it is difficult to measure the real benefit in terms of speedup. However, the consumption in memory is reduced by approximately 15% on "industrial" benchmarks.


Changes: Memory preserving implementation of H/T data structure.

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