Search for persons
X
?
Proceedings of the Genetic and Evolutionary Computation Conference ,
2
Evolutionary Diversity Optimisation in ConstructingSatisfyi..:
, In:
?
Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) ,
3
The Impact of Heterogeneity and Geometry on the Proof Compl..:
, In:
?
Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science ,
4
Solving Non-uniform Planted and Filtered Random SAT Formula..:
, In:
?
Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms ,
5