Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
OtsikkoLPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
ToimittajatElvira Albert, Laura Kovács
Sivumäärä18
KustantajaEasyChair Publications
Julkaisupäivä27 toukokuuta 2020
Sivut465-482
DOI - pysyväislinkit
TilaJulkaistu - 27 toukokuuta 2020
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaLPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning - Alicante, Espanja
Kesto: 22 toukokuuta 202027 toukokuuta 2020
Konferenssinumero: 23

Julkaisusarja

NimiEPiC Series in Computing
KustantajaEasyChair Publications
Vuosikerta73
ISSN (elektroninen)2398-7340

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä