OW2 Consortium
Search OW2 Mail Archive: 

Advanced Search - Powered by Google


Mail Archive Home | sat4j-dev List | March 2008 Index

    Date Index  -->     Thread Index  -->

[[sat4j-dev]] [ sat4j-Bugs-308276 ] objective function displayed is incorrect when wcnf contains weighted unit literals


Bugs item #308276, was opened at 17/01/2008 23:06
You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=308276&group_id=228

Category: maxsat
Group: ongoing version (cvs)
>Status: Closed
Resolution: None
Priority: 9
Submitted By: Daniel Le Berre (leberre)
Assigned to: Daniel Le Berre (leberre)
Summary: objective function displayed is incorrect when wcnf contains 
weighted unit literals

Initial Comment:
When a formula contains weighted unit literals, the negation of those 
literals,
with the same weight, are added to the objective function.

The idea is to replace a weighted max sat problem by a binate covering 
problem.

I guess that the issue can be fixed by allowing max and min optimization
problems instead of just minimization problems are for now.

It will be fixed BEFORE 2.0 final ships.

----------------------------------------------------------------------

>Comment By: Daniel Le Berre (leberre)
Date: 10/03/2008 21:25

Message:
connecté 
user_id=4369

This has been fixed before MAXSAT 08 evaluation submission.

----------------------------------------------------------------------

You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=308276&group_id=228


    Date Index  -->     Thread Index  -->

Reply via email to:

Powered by MHonArc.

Copyright © 2006-2007, OW2 Consortium | contact | webmaster.