Experimental comparison of the two Fredman-Khachiyan-algorithms
From MaRDI portal
Publication:5233575
DOI10.1137/1.9781611972894.15zbMath1430.68472OpenAlexW4477946MaRDI QIDQ5233575
Peter Horatschek, Matthias Hagen, Martin Mundhenk
Publication date: 11 September 2019
Published in: 2009 Proceedings of the Eleventh Workshop on Algorithm Engineering and Experiments (ALENEX) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/1.9781611972894.15
Related Items (3)
The Minimal Hitting Set Generation Problem: Algorithms and Computation ⋮ Unnamed Item ⋮ On Quantifying Literals in Boolean Logic and its Applications to Explainable AI
This page was built for publication: Experimental comparison of the two Fredman-Khachiyan-algorithms