Solver Scheduling via Answer Set Programming.

Details

Organisationseinheit(en)

Fachgebiet Maschinelles Lernen

Typ

Artikel

Journal

Computing Research Repository (CoRR)

Band

abs/1401.1024

ISSN

2331-8422

Publikationsdatum

2014

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

Elektronische Version(en)

https://dblp.org/db/journals/corr/corr1401.html#HoosKLS14 (Zugang: Unbekannt )
http://arxiv.org/abs/1401.1024 (Zugang: Unbekannt )