Array ( ) OW2 Forge

Advanced - Powered by Google

Log In
New Account
My Page
Project Tree
Project Openings

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="" target="_new"></a> [2] <a href="" target="_new"></a> [3] <a href="" target="_new"></a> [4] <a href="" target="_new"></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 | PS: You have a difficulty, a problem ? Please report an issue using your main OW2 account credentials