External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

aspeed: ASP-based Solver Scheduling

Holger Hoos, Roland Kaminski, Torsten Schaub, Marius Thomas Schneider. aspeed: ASP-based Solver Scheduling. In Agostino Dovier, Vítor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. Volume 17 of LIPIcs, pages 176-187, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]

Authors

Holger Hoos

This author has not been identified. Look up 'Holger Hoos' in Google

Roland Kaminski

This author has not been identified. Look up 'Roland Kaminski' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google

Marius Thomas Schneider

This author has not been identified. Look up 'Marius Thomas Schneider' in Google
runs on