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
                    
 

Discussion Forums: Help

Start New Thread Start New Thread | Admin

Message: 52688
By: Daniel Le Berre (leberre)
Date: 2011-08-22 15:15
Subject: RE: Minimal Solution

 

No, it always returns a total assignment but it minimizes the number of literals set to true (one).


Thread View

Thread Author Date
 Minimal Solutionstefan peter2011-08-10 14:59
       RE: Minimal Solutionstefan peter2011-08-10 15:02
             RE: Minimal Solutionstefan peter2011-08-10 15:05
                   RE: Minimal Solutionstefan peter2011-08-10 15:38
                   RE: Minimal SolutionDaniel Le Berre2011-08-22 12:42
                         RE: Minimal Solutionstefan peter2011-08-22 14:31
                               RE: Minimal SolutionDaniel Le Berre2011-08-22 15:18
                               RE: Minimal SolutionDaniel Le Berre2011-08-22 15:15
                                     RE: Minimal Solutionstefan peter2011-08-22 15:36
                                           RE: Minimal SolutionDaniel Le Berre2011-08-22 16:06
                                                 RE: Minimal Solutionstefan peter2011-08-24 17:03
                                                       RE: Minimal Solutionstefan peter2011-08-24 17:24
                                                             RE: Minimal SolutionDaniel Le Berre2011-08-24 18:36
                                                             RE: Minimal SolutionTimothy Nelson2011-08-24 17:44
                                                                   RE: Minimal SolutionDaniel Le Berre2011-08-24 18:47

Post a followup to this message

You could post if you were logged in

Copyright © 1999-2008, OW2 Consortium | contact | webmaster.