Concepedia

Mate Soos

MS

Statistics

Publications

6

Citations

234

H-Index

6

Active since

2010

Affiliations

National University of Singapore(Current)

Mate Soos is an author at National University of Singapore specializing in automated reasoning, satisfiability, and computer science.

Top concepts

EngineeringSatisfiabilityComputer ScienceAutomated ReasoningComputational ComplexityFormal MethodsFormal VerificationComputer EngineeringMathematical ProgrammingCryptography

Publications per year

2010–2019

6

Publications

6

BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting

Mate Soos, Kuldeep S. Meel · Proceedings of the AAAI Conference on Artificial Intelligence · 2019 · 92 citations · Full text

GANAK: A Scalable Probabilistic Exact Model Counter

Shubham Sharma, Subhajit Roy, Mate Soos et al. · 2019 · 54 citations · Full text

Engineering, Verification, Computer-aided Verification +19

Enhanced Gaussian Elimination in DPLL-based SAT Solvers

Mate Soos · EPiC series in computing · 2018 · 39 citations · Full text

Mathematical Programming, Numerical Analysis, Computational Complexity Theory +17

Grain of Salt --- an Automated Way to Test Stream Ciphers through SAT Solvers

Mate Soos · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 26 citations

Bosphorus: Bridging ANF and CNF Solvers

Davin Choo, Mate Soos, Kian Ming A. Chai et al. · 2019 · 13 citations

Mathematical Programming, Constraint Solving, Engineering +15

1–5 of 6