Planning and SAT

Jussi Rintanen*

*Corresponding author for this work

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

10 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 Part of a book or another research book

Publication series

NameFrontiers in Artificial Intelligence and Applications

Cite this