Picat-SAT

swMATH21859MaRDI QIDQ33659FDOQ33659

Author name not available (Why is that?)

Cited In (4)

• SUNNY-CP and the MiniZinc challenge
• Boosting Answer Set Optimization with Weighted Comparator Networks
• MiniZinc with strings
• Coupling different integer encodings for SAT

This page was built for software: Picat-SAT