Personensuche
X
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
6
Reducing NEXP-complete problems to DQBF:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
9