Planning and SAT

Loading...
Thumbnail Image
Journal Title
Journal ISSN
Volume Title
A3 Kirjan tai muun kokoomateoksen osa
Date
2021-05-05
Major/Subject
Mcode
Degree programme
Language
en
Pages
25
765-789
Series
Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications
Description
Keywords
Other note
Citation
Rintanen , J 2021 , Planning and SAT . in Handbook of Satisfiability : Second Edition . Frontiers in Artificial Intelligence and Applications , IOS Press , pp. 765-789 . https://doi.org/10.3233/FAIA201003