Personensuche
X
?
Computational Science – ICCS 2024; Lecture Notes in Computer Science ,
1
Implementing 3-SAT Gadgets for Quantum Annealers with Rando..:
, In:
?
Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms ,
5
The impact of heterogeneity and geometry on the proof compl..:
, In:
?
Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems ,
6
A Heuristic Algorithm for Multi-Agent Vehicle Routing with ..:
, In:
?
Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) ,
7
The Impact of Heterogeneity and Geometry on the Proof Compl..:
, In:
?
Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science ,
9