Solver Scheduling via Answer Set Programming.

Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

Autorschaft

Organisationseinheiten

Forschungs-netzwerk anzeigen

Details

OriginalspracheEnglisch
FachzeitschriftComputing Research Repository (CoRR)
Jahrgangabs/1401.1024
PublikationsstatusVeröffentlicht - 2014

Zitieren

Solver Scheduling via Answer Set Programming. / Hoos, Holger H.; Kaminski, Roland; Lindauer, Marius et al.
in: Computing Research Repository (CoRR), Jahrgang abs/1401.1024, 2014.

Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

Hoos, HH, Kaminski, R, Lindauer, M & Schaub, T 2014, 'Solver Scheduling via Answer Set Programming.', Computing Research Repository (CoRR), Jg. abs/1401.1024. <https://dblp.org/db/journals/corr/corr1401.html#HoosKLS14>
Hoos, H. H., Kaminski, R., Lindauer, M., & Schaub, T. (2014). Solver Scheduling via Answer Set Programming. Computing Research Repository (CoRR), abs/1401.1024. https://dblp.org/db/journals/corr/corr1401.html#HoosKLS14
Hoos HH, Kaminski R, Lindauer M, Schaub T. Solver Scheduling via Answer Set Programming. Computing Research Repository (CoRR). 2014;abs/1401.1024.
Hoos, Holger H. ; Kaminski, Roland ; Lindauer, Marius et al. / Solver Scheduling via Answer Set Programming. in: Computing Research Repository (CoRR). 2014 ; Jahrgang abs/1401.1024.
Download
@article{111c42b385b84010879e0c80c070d7f6,
title = "Solver Scheduling via Answer Set Programming.",
author = "Hoos, {Holger H.} and Roland Kaminski and Marius Lindauer and Torsten Schaub",
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 = "2014",
language = "English",
volume = "abs/1401.1024",

}

Download

TY - JOUR

T1 - Solver Scheduling via Answer Set Programming.

AU - Hoos, Holger H.

AU - Kaminski, Roland

AU - Lindauer, Marius

AU - Schaub, Torsten

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 - 2014

Y1 - 2014

M3 - Article

VL - abs/1401.1024

JO - Computing Research Repository (CoRR)

JF - Computing Research Repository (CoRR)

SN - 2331-8422

ER -

Von denselben Autoren