aspeed: ASP-based Solver Scheduling.

Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

Autoren

Organisationseinheiten

Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
Titel des SammelwerksICLP (Technical Communications)
Seiten176-187
Seitenumfang12
PublikationsstatusVeröffentlicht - 2012

Zitieren

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

Publikation: Beitrag in Buch/Bericht/Sammelwerk/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

Hoos, HH, Kaminski, R, Schaub, T & Schneider, M 2012, aspeed: ASP-based Solver Scheduling. in ICLP (Technical Communications). S. 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) (S. 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. S. 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. S. 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 -

Von denselben Autoren