Soos, Mate

3 publications

IJCAI 2023 Engineering an Efficient Approximate DNF-Counter Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski

AAAI 2019 BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting Mate Soos, Kuldeep S. Meel

IJCAI 2019 GANAK: A Scalable Probabilistic Exact Model Counter Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel