QMaxSATpb

swMATH46483MaRDI QIDQ5973052FDOQ5973052

Author name not available (Why is that?)

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 (7)

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

This page was built for software: QMaxSATpb