BreakID: Static Symmetry Breaking for ASP

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaKonferenssiesitys

Tutkijat

Organisaatiot

Yksityiskohdat

AlkuperäiskieliEnglanti
TilaJulkaistu - 2016
TapahtumaWorkshop on Answer Set Programming and Other Computing Paradigms - New York, Yhdysvallat
Kesto: 16 lokakuuta 201616 lokakuuta 2016
Konferenssinumero: 9
https://sites.google.com/site/aspocp2016/home

Workshop

WorkshopWorkshop on Answer Set Programming and Other Computing Paradigms
LyhennettäASPOCP
MaaYhdysvallat
KaupunkiNew York
Ajanjakso16/10/201616/10/2016
www-osoite

ID: 6777986