S. Gocht
发表
Mate Soos,
Kuldeep S. Meel,
Stephan Gocht,
2020,
CAV.
Peter J. Stuckey,
Stephan Gocht,
Jo Devriendt,
2021,
AAAI.
Amir Yehudayoff,
Jakob Nordström,
Stephan Gocht,
2019,
IJCAI.
Ciaran McCreesh,
Jakob Nordström,
Stephan Gocht,
2020,
IJCAI.
R. Martins,
S. Gocht,
J. Nordström,
2023,
International Conference on Theory and Applications of Satisfiability Testing.
Stephan Gocht,
Jakob Nordström,
S. Gocht,
2021,
AAAI.
B. Bogaerts,
Ciaran McCreesh,
S. Gocht,
2022,
AAAI.
B. Bogaerts,
Ciaran McCreesh,
S. Gocht,
2022,
J. Artif. Intell. Res..
Ciaran McCreesh,
Patrick Prosser,
James Trimble,
2020,
CP.
Ciaran McCreesh,
Jakob Nordström,
Jan Elffers,
2020,
AAAI.
R. Martins,
S. Gocht,
J. Nordström,
2022
.