Picture for Markus Iser

Markus Iser

Automated Explanation Selection for Scientific Discovery

Add code
Jul 24, 2024
Viaarxiv icon

Global Benchmark Database

Add code
May 16, 2024
Viaarxiv icon

SATViz: Real-Time Visualization of Clausal Proofs

Add code
Sep 13, 2022
Figure 1 for SATViz: Real-Time Visualization of Clausal Proofs
Figure 2 for SATViz: Real-Time Visualization of Clausal Proofs
Figure 3 for SATViz: Real-Time Visualization of Clausal Proofs
Figure 4 for SATViz: Real-Time Visualization of Clausal Proofs
Viaarxiv icon

Collaborative Management of Benchmark Instances and their Attributes

Add code
Sep 07, 2020
Figure 1 for Collaborative Management of Benchmark Instances and their Attributes
Figure 2 for Collaborative Management of Benchmark Instances and their Attributes
Figure 3 for Collaborative Management of Benchmark Instances and their Attributes
Figure 4 for Collaborative Management of Benchmark Instances and their Attributes
Viaarxiv icon