학술논문
Proofs and Certificates for Max-SAT
Document Type
Article
Author
Source
In: Journal of Artificial Intelligence Research . (Journal of Artificial Intelligence Research, 2022, 75:1373-1400)
Subject
Language
English
ISSN
10769757