QMaxSATpb

MaRDI QIDQ5973052swMATHFDO

Official website https://www.bartbogaerts.eu/articles/2022/005-LPNMR-CertifiedQMaxSAT/CertifiedQMaxSAT.pdf

Source code repository https://github.com/DietVds/CertifiedMaxSAT

Described by source

• QMaxSATpb: a certified MaxSAT solver

Cited in

(8)

• SymChaff
• BL data set
• VIPR
• MaxPre
• Picat-SAT
• vOptLib
• RC2
• MLIC

This page was built for software: QMaxSATpb