M. Soos
发表
M. Soos,
CryptoMiniSat,
2010
.
C. Castelluccia,
M. Soos,
2007
.
M. Soos,
2019
.
Mate Soos,
M. Soos,
2010,
POS@SAT.
Walid Dabbous,
Thierry Turletti,
Thrasyvoulos Spyropoulos,
2002
.
Sana Tmar-Ben Hamida,
Mohamed Ali Kaafar,
Claude Castelluccia,
2006
.
M. Soos,
M. Kásler,
J. Tímár,
2009
.
Claude Castelluccia,
Mate Soos,
Karsten Nohl,
2009,
SAT.
Mate Soos,
Kuldeep S. Meel,
Stephan Gocht,
2020,
CAV.
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling
pdf
Mate Soos,
Kuldeep S. Meel,
M. Soos,
2021,
2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD).
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting
Mate Soos,
Kuldeep S. Meel,
M. Soos,
2019,
AAAI.
Mate Soos,
Nicolas Prevot,
Kuldeep S. Meel,
2021,
SAT.
Mate Soos,
Kuldeep S. Meel,
M. Soos,
2021,
KR.
Mate Soos,
M. Soos,
2010
.
Mate Soos,
Kuldeep S. Meel,
Kian Ming Adam Chai,
2018,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
R. Bryant,
M. Soos,
2023,
ArXiv.
Kuldeep S. Meel,
M. Soos,
Teodora Baluta,
2023,
SAT.