Picat-SAT

swMATH21859MaRDI QIDQ33659FDOQ33659

Author name not available (Why is that?)

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

Cited In (16)

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

This page was built for software: Picat-SAT