Persistent URL of this record https://hdl.handle.net/1887/3277264
In Collections
This item can be found in the following collections:
Automated configuration and selection of SAT solvers
- All authors
- Hoos, H.H.; Hutter, F.; Leyton-Brown, K.
- Editor(s)
- Biere, A.; Heule, M.; Maaren, H. van; Walsh, T.
- Date
- 2021
- Title of host publication
- Frontiers in Artificial Intelligence and Applications; Handbook of satisfiability
- Pages
- 481 - 507
- ISBN (print)
- 9781643681603
- ISBN (electronic)
- 9781643681610
Publication Series
- Name
- 336