학술논문
MaxSAT resolution for regular propositional logic
Document Type
Article
Author
Source
In: International Journal of Approximate Reasoning . (International Journal of Approximate Reasoning, November 2023, 162)
Subject
Language
English
ISSN
0888613X