Search for persons
X
?
Automated Deduction – CADE 29; Lecture Notes in Computer Science ,
3
QSMA: A New Algorithm for Quantified Satisfiability Modulo ..:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
5
Reasoning about Quantifiers in SMT: The QSMA algorithm:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
13