JavaScript is disabled for your browser. Some features of this site may not work without it.
| Title: | Planning and SAT |
| Author(s): | Rintanen, Jussi |
| Date: | 2021-05-05 |
| Language: | en |
| Pages: | 25 765-789 |
| Department: | Computer Science Professors Department of Computer Science |
| ISBN: | 9781643681603 9781643681610 |
| Series: | Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications |
| DOI-number: | 10.3233/FAIA201003 |
|
|
|
|
This publication is imported from Aalto University Research information portal: https://research.aalto.fi
> View this publication in Research information portal > Other link related to publication (Research information portal) |
|
|
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 |
|
|
|
|
|
|
|
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no open access files associated with this item. |
|||
This item appears in the following Collection(s)
Submit a publication
Browse
Statistics
© Aalto University Learning Centre
Page content by: Aalto University Learning Centre | Privacy policy of the service | About this site
en