3 citations · 3 across the 3 of their papers we have counts for
4 papers
Automated Explanation Selection for Scientific Discovery
Ashlin Iser
Automated reasoning is a key technology in the young but rapidly growing field of Explainable Artificial Intelligence (XAI). Explanability helps build trust in artificial intellige…
Global Benchmark Database
Ashlin Iser, Christoph Jabs
This paper presents Global Benchmark Database (GBD), a comprehensive suite of tools for provisioning and sustainably maintaining benchmark instances and their metadata. The availab…
SATViz: Real-Time Visualization of Clausal Proofs
Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann +4
Visual layouts of graphs representing SAT instances can highlight the community structure of SAT instances. The community structure of SAT instances has been associated with both i…
Collaborative Management of Benchmark Instances and their Attributes
Markus Iser, Luca Springer, Carsten Sinz
Experimental evaluation is an integral part in the design process of algorithms. Publicly available benchmark instances are widely used to evaluate methods in SAT solving. For the…