OW2 Forge

Log In
New Account

Home

Discussion Forums: Help

Start New Thread | Admin

Message: 54629

By: stefan peter (stefanpeter)
Date: 2011-08-24 17:03
Subject: RE: Minimal Solution

Hi Daniel Thank you very much for your answer. The prime implicant is what i was looking for. But my question concerning the internal variables remains: Even if i decorate the solver with for example MAXSAT, the model still contains the internal variables too.

Thread View

Thread	Author	Date
Minimal Solution	stefan peter	2011-08-10 14:59
RE: Minimal Solution	stefan peter	2011-08-10 15:02
RE: Minimal Solution	stefan peter	2011-08-10 15:05
RE: Minimal Solution	stefan peter	2011-08-10 15:38
RE: Minimal Solution	Daniel Le Berre	2011-08-22 12:42
RE: Minimal Solution	stefan peter	2011-08-22 14:31
RE: Minimal Solution	Daniel Le Berre	2011-08-22 15:18
RE: Minimal Solution	Daniel Le Berre	2011-08-22 15:15
RE: Minimal Solution	stefan peter	2011-08-22 15:36
RE: Minimal Solution	Daniel Le Berre	2011-08-22 16:06
RE: Minimal Solution	stefan peter	2011-08-24 17:03
RE: Minimal Solution	stefan peter	2011-08-24 17:24
RE: Minimal Solution	Daniel Le Berre	2011-08-24 18:36
RE: Minimal Solution	Timothy Nelson	2011-08-24 17:44
RE: Minimal Solution	Daniel Le Berre	2011-08-24 18:47

Discussion Forums: Help

Thread View

Post a followup to this message

You could post if you were logged in