Solver Scheduling via Answer Set Programming.

Details

Organisation(s)

Machine Learning Section

Type

Article

Journal

Computing Research Repository (CoRR)

Volume

abs/1401.1024

ISSN

2331-8422

Publication date

2014

Publication status

Published

Peer reviewed

Yes

Electronic version(s)

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