Mate Soos

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 23

Top Topics

Causal Reasoning

Maximum Satisfiability

Top Venues

Publications

Mate Soos, Uddalok Sarkar, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski
Engineering an Efficient Approximate DNF-Counter. CoRR (2024)
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
Formally Certified Approximate Model Counting. CoRR (2024)
Dxo, Mate Soos, Zoe Paraskevopoulou, Martin Lundfall, Mikael Brockman
Hevm, a Fast Symbolic Execution Framework for EVM Bytecode. CAV (1) (2024)
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
Formally Certified Approximate Model Counting. CAV (1) (2024)
Renzo Roel Perez Tan, Aldrich Ellis Catapang Asuncion, Brian Godwin Sy Lim, Mate Soos, Kazushi Ikeda
The Pancake Graph of Order 10 Is 4-Colorable. ICoMS (2023)
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. SAT (2023)
Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski
Engineering an Efficient Approximate DNF-Counter. IJCAI (2023)
Mate Soos, Randal E. Bryant
Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination. CoRR (2023)
Markus Anders, Pascal Schweitzer, Mate Soos
Algorithms Transcending the SAT-Symmetry Interface. SAT (2023)
Markus Anders, Pascal Schweitzer, Mate Soos
Algorithms Transcending the SAT-Symmetry Interface. CoRR (2023)
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. CoRR (2023)
Mate Soos, Kuldeep S. Meel
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. ICCAD (2022)
Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel
On Quantitative Testing of Samplers. CP (2022)
Nicolas Prevot, Mate Soos, Kuldeep S. Meel
Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. SAT (2021)
Mate Soos, Kuldeep S. Meel
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. CoRR (2021)
Mate Soos, Kuldeep S. Meel
Gaussian Elimination Meets Maximum Satisfiability. KR (2021)
Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel
Designing Samplers is Easy: The Boon of Testers. FMCAD (2021)
Mate Soos, Stephan Gocht, Kuldeep S. Meel
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling. CAV (1) (2020)
Mate Soos, Kuldeep S. Meel
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting. AAAI (2019)
Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel
GANAK: A Scalable Probabilistic Exact Model Counter. IJCAI (2019)
Davin Choo, Mate Soos, Kian Ming Adam Chai, Kuldeep S. Meel
Bosphorus: Bridging ANF and CNF Solvers. DATE (2019)
Mate Soos, Raghav Kulkarni, Kuldeep S. Meel
CrystalBall: Gazing in the Black Box of SAT Solving. SAT (2019)
Davin Choo, Mate Soos, Kian Ming Adam Chai, Kuldeep S. Meel
BOSPHORUS: Bridging ANF and CNF Solvers. CoRR (2018)
Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama
Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. SAT (2012)
Manuel San Pedro, Mate Soos, Sylvain Guilley
FIRE: Fault Injection for Reverse Engineering. WISTP (2011)
Mate Soos
Enhanced Gaussian Elimination in DPLL-based SAT Solvers. POS@SAT (2010)
Mate Soos, Karsten Nohl, Claude Castelluccia
Extending SAT Solvers to Cryptographic Problems. SAT (2009)