Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games

Xiaojuan Liao, 9781394249817, 9781394249787, 9781394249794, 978-1394249817, 978-1394249787, 978-1394249794, 9781394249800, 978-1394249800, 1394249780, 1394249799, B0DRZ7TQVG