Search for persons
X
?
Automated Deduction – CADE 29; Lecture Notes in Computer Science ,
1
QSMA: A New Algorithm for Quantified Satisfiability Modulo ..:
, In:
?
2023 Formal Methods in Computer-Aided Design (FMCAD) ,
2
Reasoning about Quantifiers in SMT: The QSMA algorithm:
, In:
?
Lecture Notes in Computer Science; Description Logic, Theory Combination, and All That ,
4
Theory Combination: Beyond Equality Sharing:
, In:
?
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
5
Proofs in conflict-driven theory combination:
, In:
?
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming ,
6
On theorem proving for program checking : historical per..:
, In:
?
Proceedings of the second international symposium on Parallel symbolic computation ,
7
Experiments with subdivision of search in distributed theor..:
, In:
?
Automated Deduction—CADE-14; Lecture Notes in Computer Science ,
8
The Clause-Diffusion theorem prover Peers-mcd (system descr..:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
9
On the strength of Sherali-Adams and Nullstellensatz as pro..:
, In:
1-9