Planning and SAT
Loading...
Access rights
openAccess
acceptedVersion
URL
Journal Title
Journal ISSN
Volume Title
A3 Kirjan tai muun kokoomateoksen osa
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
Authors
Date
2021-05-05
Department
Major/Subject
Mcode
Degree programme
Language
en
Pages
25
Series
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