Search for persons
X
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
12
On Preprocessing for Weighted MaxSAT:
, In:
?
2020 IEEE European Test Symposium (ETS) ,
13
Minimal Witnesses for Security Weaknesses in Reconfigurable..:
, In:
?
Automated Methods in Cryptographic Fault Analysis ,
15