Publikation: Solving Projected Model Counting by Uti...

Stammdaten
Titel: Solving Projected Model Counting by Utilizing Treewidth and its Limits
Untertitel:
Kurzfassung:
Schlagworte:
Publikationstyp: Beitrag in Zeitschrift (Autorenschaft)
Erscheinungsdatum: 01.01.2023 (Online)
Erschienen in: Artificial Intelligence
Artificial Intelligence
zur Publikation
 ( Elsevier; )
Titel der Serie: -
Bandnummer: 314
Heftnummer: -
Erstveröffentlichung: Ja
Version: -
Seite: S. 103810 - 103838

Versionen
Keine Version vorhanden
Erscheinungsdatum: 01.01.2023
ISBN: -
ISSN: 0004-3702
Homepage: -
Erscheinungsdatum: 01.01.2023
ISBN (e-book): -
eISSN: 1872-7921
DOI: http://dx.doi.org/10.1016/j.artint.2022.103810
Homepage: -
Open Access
  • Online verfügbar (nicht Open Access)

Zuordnung
Organisation Adresse
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Österreich
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung
Sachgebiete
  • 102001 - Artificial Intelligence
Forschungscluster Kein Forschungscluster ausgewählt
Zitationsindex
  • Science Citation Index Expanded (SCI Expanded)
Informationen zum Zitationsindex: Master Journal List
Peer Reviewed
  • Ja
Publikationsfokus
  • Science to Science (Qualitätsindikator: I)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen Keine Arbeitsgruppe ausgewählt

Kooperationen
Organisation Adresse
Vienna University of Technology
Österreich - Wien
AT  

Beiträge der Publikation
Keine verknüpften Publikationen vorhanden