Array ( ) OW2 Forge

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: 10260
By: Pascal Rapicault (pascal)
Date: 2007-11-14 15:08
Subject: RE: Pseudo boolean solver

 

Hi, Thanks for the fast reply. The project I'm working on is far from being top secret since it is hosted at the eclipse foundation. In a few words, this project, equinox p2 [1,2], consists in replacing the eclipse update manager with something more flexible and robust. As part of this effort I have been investigating the usage of solvers (SAT and PB) mostly following what is described in the OPIUM paper [3]. I don't have yet at my disposal any of the large problems, but I know they could be that large because some eclipse distros are pretty large and the mapping we apply from our domain objects [4] to PB solvers is pretty verbose. When I get one of the large problem I will share it with you if you are interested. &gt; 1000 variables is ok but 40 000 constraints might be terrible for the PB solver. Is this a general statement about PB solvers? What else could I use? Note that I've been using PB solvers simply because SAT solvers can't give me an optimal solution, and also I liked the &quot;standard&quot; input format that these solvers work on. Thanks, PaScaL [1] <a href="http://www.eclipse.org/equinox/incubator/provisioning/" target="_new">http://www.eclipse.org/equinox/incubator/provisioning/</a> [2] <a href="http://wiki.eclipse.org/Equinox_p2" target="_new">http://wiki.eclipse.org/Equinox_p2</a> [3] <a href="http://www.cs.ucsd.edu/~lerner/papers/opium.html" target="_new">http://www.cs.ucsd.edu/~lerner/papers/opium.html</a> [4] <a href="http://wiki.eclipse.org/Equinox_P2_Resolution" target="_new">http://wiki.eclipse.org/Equinox_P2_Resolution</a>


Thread View

Thread Author Date
 Pseudo boolean solverPascal Rapicault2007-11-12 21:24
       RE: Pseudo boolean solverDaniel Le Berre2007-11-12 21:51
       RE: Pseudo boolean solverPascal Rapicault2007-11-14 15:08
             RE: Pseudo boolean solverDaniel Le Berre2007-11-14 15:37
             RE: Pseudo boolean solverDaniel Le Berre2007-11-14 15:47
                   RE: Pseudo boolean solverDavid Kemper2008-08-14 05:29
                         RE: Pseudo boolean solverDaniel Le Berre2008-08-25 11:16
                               RE: Pseudo boolean solverDavid Kemper2008-08-29 22:41
                                     RE: Pseudo boolean solverDaniel Le Berre2008-09-01 14:19

Post a followup to this message

You could post if you were logged in

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