An improvement of the algorithm of Hertli for the unique 3SAT problem
From MaRDI portal
Publication:5919321
DOI10.1016/j.tcs.2018.11.023zbMath1436.68397OpenAlexW2788074399WikidataQ128869835 ScholiaQ128869835MaRDI QIDQ5919321
Publication date: 16 January 2020
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2018.11.023
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Randomized algorithms (68W20) Computational aspects of satisfiability (68R07)
Cites Work