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 name
VSTTE 2023
Meeting place
Ames, IA, USA
Meeting date
December 12-15, 2023
