Planning and SAT

^*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Chapter › Scientific › vertaisarvioitu

8 Lataukset (Pure)

Alkuperäiskieli	Englanti
Otsikko	Handbook of Satisfiability
Alaotsikko	Second Edition
Kustantaja	IOS PRESS
Sivut	765-789
Sivumäärä	25
ISBN (elektroninen)	9781643681610
ISBN (painettu)	9781643681603
DOI - pysyväislinkit	https://doi.org/10.3233/FAIA201003
Tila	Julkaistu - 5 toukok. 2021
OKM-julkaisutyyppi	A3 Kirjan osa tai toinen tutkimuskirja

Nimi	Frontiers in Artificial Intelligence and Applications

Pääsy asiakirjaan

@inbook{c7f3de67ce99492394f10e98d9da790c,

title = "Planning and SAT",

author = "Jussi Rintanen",

year = "2021",

month = may,

day = "5",

doi = "10.3233/FAIA201003",

language = "English",

isbn = "9781643681603",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS PRESS",

pages = "765--789",

booktitle = "Handbook of Satisfiability",

address = "Netherlands",

}

TY - CHAP

T1 - Planning and SAT

AU - Rintanen, Jussi

PY - 2021/5/5

Y1 - 2021/5/5

UR - http://www.scopus.com/inward/record.url?scp=85109058714&partnerID=8YFLogxK

U2 - 10.3233/FAIA201003

DO - 10.3233/FAIA201003

M3 - Chapter

AN - SCOPUS:85109058714

SN - 9781643681603

T3 - Frontiers in Artificial Intelligence and Applications

SP - 765

EP - 789

BT - Handbook of Satisfiability

PB - IOS PRESS

ER -