학술논문
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
Document Type
Conference Paper
Author
Source
In: Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14281 LNAI:405-419)
Subject
Language
English
ISSN
16113349
03029743
03029743