Read-once resolutions in Horn formulas
From MaRDI portal
Publication:2327091
DOI10.1007/978-3-030-18126-0_9MaRDI QIDQ2327091
Hans Kleine Büning, K. Subramani and Vahan Mkrtchyan, Piotr J. Wojciechowski
Publication date: 11 October 2019
Full work available at URL: https://doi.org/10.1007/978-3-030-18126-0_9
68Wxx: Algorithms in computer science