3 citations · 3 across the 3 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2024
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…
cs.AI2022
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…
cs.AI2020
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…