14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)

Event name
14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)
 
Event type
Event for scientific audience
 
Start date
03-07-2017
End date
06-07-2017
 
Location
Helsinki, Finland
Helsinki, Finland
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Subject:  Solving

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hecher, Markus ; Fichte, Johannes ; Morak, Michael ; Woltran, Stefan Answer Set Solving with Bounded Treewidth RevisitedKonferenzbeitrag Inproceedings2017
2Hecher, Markus Structure-Driven Answer-Set SolvingKonferenzbeitrag Inproceedings2017