Picky CDCL: SMT-Solving with Flexible Literal Selection
Informazioni aggiuntive
Autori
Sharygina N.,
Britikov K.,
Hyvärinen A.
Tipo
Contributo in atti di convegno
Anno
2023
Lingua
Inglese
Nome convegno
VSTTE 2023
Luogo convegno
Ames, IA, USA
Data convegno
December 12-15, 2023