-sat functions are unate

"> k -sat functions are unate

"/> 2024 Joint Mathematics Meetings (JMM 2024)
2024 Joint Mathematics Meetings (JMM 2024)