Theory And Applications Of Satisfiability Testing Sat 2021: 24Th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes In Computer Science, 12831)
Springer
ISBN13:
9783030802226
$128.71
(No reviews yet)
Write a Review
Springer
Theory And Applications Of Satisfiability Testing Sat 2021: 24Th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes In Computer Science, 12831)
- | Author: Chu-Min Li, Felip Manyà
- | Publisher: Springer
- | Publication Date: 11-Aug-21
- | Number of Pages: 575 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030802221
- | ISBN-13: 9783030802226
- Author:
- Chu-Min Li, Felip Manyà
- Publisher:
- Springer
- Publication Date:
- 11-Aug-21
- Number of pages:
- 575 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030802221
- ISBN-13:
- 9783030802226
