Automated configuration and selection of SAT solvers

Author(s):: Hoos, H.H. (0000-0003-0629-0099); Hutter, F.; Leyton-Brown, K.

Editor(s):: Biere, A.; Heule, M.; Maaren, H. van; Walsh, T.

Published: 2021
Publication type: Part of book or chapter of book

Date issued: 2021
Language: English
Publisher: IOS Press
Is part of: Frontiers in Artificial Intelligence and Applications (2021), Pt. 336, p. 481-507
ISBN source: 9781643681603
hdl: 1887/3277264
doi: 10.3233/FAIA200995