aspeed: ASP-based Solver Scheduling.

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Authors

Research Organisations

View graph of relations

Details

Original languageEnglish
Title of host publicationICLP (Technical Communications)
Pages176-187
Number of pages12
Publication statusPublished - 2012

Cite this

aspeed: ASP-based Solver Scheduling. / Hoos, Holger H.; Kaminski, Roland; Schaub, Torsten et al.
ICLP (Technical Communications). 2012. p. 176-187.

Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

Hoos, HH, Kaminski, R, Schaub, T & Schneider, M 2012, aspeed: ASP-based Solver Scheduling. in ICLP (Technical Communications). pp. 176-187. https://doi.org/10.4230/LIPIcs.ICLP.2012.176
Hoos, H. H., Kaminski, R., Schaub, T., & Schneider, M. (2012). aspeed: ASP-based Solver Scheduling. In ICLP (Technical Communications) (pp. 176-187) https://doi.org/10.4230/LIPIcs.ICLP.2012.176
Hoos HH, Kaminski R, Schaub T, Schneider M. aspeed: ASP-based Solver Scheduling. In ICLP (Technical Communications). 2012. p. 176-187 doi: 10.4230/LIPIcs.ICLP.2012.176
Hoos, Holger H. ; Kaminski, Roland ; Schaub, Torsten et al. / aspeed: ASP-based Solver Scheduling. ICLP (Technical Communications). 2012. pp. 176-187
Download
@inproceedings{b7604117eea54c50b342652597ba8d12,
title = "aspeed: ASP-based Solver Scheduling.",
author = "Hoos, {Holger H.} and Roland Kaminski and Torsten Schaub and Marius Schneider",
note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2012",
doi = "10.4230/LIPIcs.ICLP.2012.176",
language = "English",
pages = "176--187",
booktitle = "ICLP (Technical Communications)",

}

Download

TY - GEN

T1 - aspeed: ASP-based Solver Scheduling.

AU - Hoos, Holger H.

AU - Kaminski, Roland

AU - Schaub, Torsten

AU - Schneider, Marius

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2012

Y1 - 2012

U2 - 10.4230/LIPIcs.ICLP.2012.176

DO - 10.4230/LIPIcs.ICLP.2012.176

M3 - Conference contribution

SP - 176

EP - 187

BT - ICLP (Technical Communications)

ER -

By the same author(s)