Handbook of Satisfiability
Subtitle: Second Edition
Publisher: IOS Press, Incorporated
Published: 2021
Language: eng
ISBN-13: 9781643681603
Subjects: Computer science