Personal information

SAT, Model Counting, Uniform Sampling, Polynomial Equations
Germany, Singapore

Activities

Employment (1)

Ethereum Foundation: Berlin, Berlin, DE

2022 to present
Employment
Source: Self-asserted source
Mate Soos

Education and qualifications (1)

Inria Grenoble - Rhône-Alpes research centre: Montbonnot-Saint-Martin, FR

2006 to 2009 | PhD
Qualification
Source: Self-asserted source
Mate Soos

Works (3)

Formally Certified Approximate Model Counting

2024 | Book chapter
Contributors: Yong Kiam Tan; Jiong Yang; Mate Soos; Magnus O. Myreen; Kuldeep S. Meel
Source: check_circle
Crossref

Engineering an Efficient Preprocessor for Model Counting

2024-06-23 | Conference paper
Contributors: Mate Soos; Kuldeep S Meel
Source: check_circle
Crossref

The Pancake Graph of Order 10 Is 4-Colorable

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