[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: SAT based britney

[Resent, as l.d.o still does not like mails from my private address mail@...]


On Thu, 26 May 2011 15:01:49 +0200, Joachim Breitner <nomeata@debian.org>
> Correct. MAX-SAT (or, more precise, PMAX-SAT) is what we want to use.

BTW, here is a competition for PMAX-SAT, with a DIMACS-based input and
some results:
http://maxsat.ia.udl.cat/requirements/ specification
http://www.maxsat.udl.cat/10/results/ last years result

Didn't check yet which of these solvers are Free Software (I have checked
other lists before and was disappointed how many of them do not share the
source, hoping to make some bucks with it it seems), but anyways, I'd say
this specifies our layer 1.


Joachim "nomeata" Breitner
Debian Developer
  nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
  JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata

Attachment: signature.asc
Description: This is a digitally signed message part

Reply to: