BooleForce

MaRDI QIDQ41081swMATHFDO

Official website http://fmv.jku.at/booleforce/

Cited in

(3)

• A proof builder for Max-SAT
• An expressive model for instance decomposition based parallel SAT solvers
• scientific article; zbMATH DE number 5510691 (Why is no real title available?)

This page was built for software: BooleForce