Active Learning for SAT Solver Benchmarking
- Author:
-
Source:
29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023). DOI: 10.1007/978-3-031-30823-9_21
- Date: 22.04.2023