Mate Soos

According to our database, Mate Soos authored at least 19 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination.

Mate Soos, Randal E. Bryant

CoRR, 2023

Algorithms Transcending the SAT-Symmetry Interface.

Markus Anders, Pascal Schweitzer, Mate Soos

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Explaining SAT Solving Using Causal Reasoning.

Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Engineering an Efficient Approximate DNF-Counter.

Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

The Pancake Graph of Order 10 Is 4-Colorable.

Renzo Roel Perez Tan, Aldrich Ellis Catapang Asuncion, Brian Godwin Sy Lim, Mate Soos, Kazushi Ikeda

Proceedings of the 2023 6th International Conference on Mathematics and Statistics, 2023

2022

Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling.

Mate Soos, Kuldeep S. Meel

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

On Quantitative Testing of Samplers.

Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving.

Nicolas Prevot, Mate Soos, Kuldeep S. Meel

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Gaussian Elimination Meets Maximum Satisfiability.

Mate Soos, Kuldeep S. Meel

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Designing Samplers is Easy: The Boon of Testers.

Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling.

Mate Soos, Stephan Gocht, Kuldeep S. Meel

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

CrystalBall: Gazing in the Black Box of SAT Solving.

Mate Soos, Raghav Kulkarni, Kuldeep S. Meel

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

GANAK: A Scalable Probabilistic Exact Model Counter.

Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Bosphorus: Bridging ANF and CNF Solvers.

Davin Choo, Mate Soos, Kian Ming Adam Chai, Kuldeep S. Meel

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

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

Mate Soos, Kuldeep S. Meel

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2012

Lynx: A Programmatic SAT Solver for the RNA-Folding Problem.

Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

FIRE: Fault Injection for Reverse Engineering.

Manuel San Pedro, Mate Soos, Sylvain Guilley

Proceedings of the Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication, 2011

2010

Enhanced Gaussian Elimination in DPLL-based SAT Solvers.

Mate Soos

Proceedings of the POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, 2010

2009

Extending SAT Solvers to Cryptographic Problems.

Mate Soos, Karsten Nohl, Claude Castelluccia

Proceedings of the Theory and Applications of Satisfiability Testing, 2009