Sat4j
  1. Sat4j
  2. SAT-44

add lower bound optimization strategy

    Details

    • Type: New Feature New Feature
    • Status: Resolved
    • Priority: Major Major
    • Resolution: Fixed
    • Affects Version/s: 2.3.0
    • Fix Version/s: 2.3.1
    • Component/s: maxsat, pseudo
    • Security Level: Public (Everybody can see)
    • Labels:
      None

      Description

      All the optimization strategies are using upper bound search. Initial experiments on the software dependency problems showed that lower bounding could provide good results. Moving a dedicated code for lower bounding optimization into sat4j library.

        Activity

        Hide
        Daniel Le Berre added a comment -

        Done in r1114. Lower bounding can be enabled on the command line in the maxsat solver.

        For the moment, there is no easy access to the lower bound optimization for the PB solver.

        Show
        Daniel Le Berre added a comment - Done in r1114. Lower bounding can be enabled on the command line in the maxsat solver. For the moment, there is no easy access to the lower bound optimization for the PB solver.

          People

          • Assignee:
            Daniel Le Berre
            Reporter:
            emmanuel lonca emmanuel lonca
          • Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development