1. Aspeed: Solver scheduling via answer set programming1. Issue 1 (January 2015) Authors: HOOS, HOLGER; KAMINSKI, ROLAND; LINDAUER, MARIUS; SCHAUB, TORSTEN Journal: Theory and practice of logic programming Issue: Volume 15:Issue 1(2015) Page Start: 117 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. Issue 4 (21st July 2014) Authors: HOOS, HOLGER; LINDAUER, MARIUS; SCHAUB, TORSTEN; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 569 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗