Search for persons
X
?
Proceedings of the 2023 6th International Conference on Mathematics and Statistics ,
1
The Pancake Graph of Order 10 Is 4-Colorable:
, In:
?
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design ,
2
Arjun : An Efficient Independent Support Computation Tec..:
, In:
?
Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science ,
3
Leveraging GPUs for Effective Clause Sharing in Parallel SA..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
4
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applicat..:
, In:
?
Lecture Notes in Computer Science; Theory and Applications of Satisfiability Testing – SAT 2019 ,
5