IPD Boehm -- Research - Publications - Publications - Conferences - Active Learning for SAT Solver Benchmarking

Author:
Tobias Fuchs, Jakob Bach, Markus Iser
Source:
29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023)
Date: 2023