By: stefan peter (stefanpeter) Date: 2011-08-24 17:03 Subject: RE: Minimal Solution
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.