학술논문
Understanding the power of Max-SAT resolution through UP-resilience
Document Type
Article
Author
Source
In: Artificial Intelligence . (Artificial Intelligence, December 2020, 289)
Subject
Language
English
ISSN
00043702