Planning and SAT

Jussi Rintanen*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

1 Citation (Scopus)
55 Downloads (Pure)
Original languageEnglish
Title of host publicationHandbook of Satisfiability
Subtitle of host publicationSecond Edition
PublisherIOS Press
Number of pages25
ISBN (Electronic)9781643681610
ISBN (Print)9781643681603
Publication statusPublished - 5 May 2021
MoE publication typeA3 Book section, Chapters in research books

Publication series

NameFrontiers in Artificial Intelligence and Applications

Cite this