Picat-SAT

MaRDI QIDQ33659swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-28228-2_4

Cited in

(16)

• SUNNY-CP and the MiniZinc challenge
• MiniZinc with strings
• Boosting Answer Set Optimization with Weighted Comparator Networks
• DASWAM
• CDAOstore
• NumberJack
• Oscar.cbls
• PBLib
• iZplus
• WAPTEC
• CHUFFED
• April
• HaLoop
• sunny-cp
• Coupling different integer encodings for SAT
• QMaxSATpb

This page was built for software: Picat-SAT