Mate Soos
11 publications
5 venues
H Index 5
Affiliation
Ethereum Foundation, Berlin, GermanyNational University of Singapore
Links
| Name | Venue | Year | citations |
|---|---|---|---|
Explaining SAT Solving Using Causal Reasoning.
|
SAT | 2023 | 0 |
| Algorithms Transcending the SAT-Symmetry Interface.
|
SAT | 2023 | 0 |
| Engineering an Efficient Approximate DNF-Counter.
|
IJCAI | 2023 | 0 |
| On Quantitative Testing of Samplers.
|
CP | 2022 | 0 |
| Gaussian Elimination Meets Maximum Satisfiability.
|
KR | 2021 | 2 |
| Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving.
|
SAT | 2021 | 2 |
| CrystalBall: Gazing in the Black Box of SAT Solving.
|
SAT | 2019 | 16 |
| BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting.
|
AAAI | 2019 | 85 |
| GANAK: A Scalable Probabilistic Exact Model Counter.
|
IJCAI | 2019 | 45 |
| Lynx: A Programmatic SAT Solver for the RNA-Folding Problem.
|
SAT | 2012 | 39 |
| Extending SAT Solvers to Cryptographic Problems.
|
SAT | 2009 | 465 |