Vol-2857⫷ Vol-2858 ⫸Vol-2859
urn:nbn:de:0074-2858-0


Vol-2858/paper7⫷Vol-2858/short4⫸Vol-2858/short5
Stepan Kochemazov

Analysis of comparative effectiveness of state-of-the-art heuristics for CDCL SAT solvers