Mate Soos

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