Personal information
SAT, Model Counting, Uniform Sampling, Polynomial Equations
Germany, Singapore
Activities
Employment (1)
2022
to
present
Employment
Source:
Mate Soos
Education and qualifications (1)
2006
to
2009
|
PhD
Qualification
Source:
Mate Soos
Works (3)
2024
|
Book chapter
Contributors:
Yong Kiam Tan;
Jiong Yang;
Mate Soos;
Magnus O. Myreen;
Kuldeep S. Meel
Source:
check_circle
Crossref
Source:
check_circle
Crossref
2023-07-14
|
Conference paper
Contributors:
Renzo Roel Perez Tan;
Aldrich Ellis Catapang Asuncion;
Brian Godwin Sy Lim;
Mate Soos;
Kazushi Ikeda
Source:
check_circle
Crossref