Picture for Mate Soos

Mate Soos

Formally Certified Approximate Model Counting

Add code
Jun 17, 2024
Viaarxiv icon

Explaining SAT Solving Using Causal Reasoning

Add code
Jun 09, 2023
Viaarxiv icon

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

Add code
Oct 18, 2021
Figure 1 for Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling
Figure 2 for Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling
Figure 3 for Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling
Figure 4 for Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling
Viaarxiv icon