Breaking the PPSZ Barrier for Unique 3-SAT

DOI10.1007/978-3-662-43948-7_50zbMath1412.68085arXiv1311.2513OpenAlexW2963722463MaRDI QIDQ5167776

Timon Hertli

Publication date: 1 July 2014

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1311.2513

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items (1)

An improvement of the algorithm of Hertli for the unique 3SAT problem

This page was built for publication: Breaking the PPSZ Barrier for Unique 3-SAT