Search for persons
X
?
Lecture Notes in Computer Science; Advances in Computer Games ,
6
Implicit QBF Encodings for Positional Games:
, In:
?
Lecture Notes in Computational Science and Engineering; SIAM International Meshing Roundtable 2023 ,
7
Combinatorial Methods in Grid Based Meshing:
, In:
?
Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science ,
8