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: DETECT CARDINALITIES SAT 2014

Notes: This is a specific version of Sat4j Pseudo with the capability to detect cardinality constraints. It is a research prototype, made available to allow researchers to reproduce the results. A production ready version with ship in Sat4j 2.3.6 shortly.


Changes: Contains the semantic detection described in the paper Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey: Detecting Cardinality Constraints in CNF. SAT 2014: 285-301

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