Picky CDCL: SMT-Solving with Flexible Literal Selection
Additional information
Authors
Sharygina N.,
Britikov K.,
Hyvärinen A.
Type
Article in conference proceedings
Year
2023
Language
English
Meeting date
December 12-15, 2023
Meeting name
VSTTE 2023
Meeting place
Ames, IA, USA
