Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationLPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
RedaktörerElvira Albert, Laura Kovács
Antal sidor18
FörlagEasyChair Publications
Utgivningsdatum27 maj 2020
Sidor465-482
DOI
StatusPublicerad - 27 maj 2020
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangLPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning - Alicante, Spanien
Varaktighet: 22 maj 202027 maj 2020
Konferensnummer: 23

Publikationsserier

NamnEPiC Series in Computing
FörlagEasyChair Publications
Volym73
ISSN (elektroniskt)2398-7340

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här