BreakID: Static Symmetry Breaking for ASP

Research output: Contribution to conferencePaperScientific

Researchers

Research units

Details

Original languageEnglish
Publication statusPublished - 2016
EventWorkshop on Answer Set Programming and Other Computing Paradigms - New York, United States
Duration: 16 Oct 201616 Oct 2016
Conference number: 9
https://sites.google.com/site/aspocp2016/home

Workshop

WorkshopWorkshop on Answer Set Programming and Other Computing Paradigms
Abbreviated titleASPOCP
CountryUnited States
CityNew York
Period16/10/201616/10/2016
Internet address

ID: 6777986