Hirsch, Edward A.; Itsykson, Dmitry; Monakhov, Ivan; Smal, Alexander On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography. (English) Zbl 1261.03158 Theory Comput. Syst. 51, No. 2, 179-195 (2012). MSC: 03F20 03B05 03D15 68W20 94A60 PDFBibTeX XMLCite \textit{E. A. Hirsch} et al., Theory Comput. Syst. 51, No. 2, 179--195 (2012; Zbl 1261.03158) Full Text: DOI
Hirsch, Edward A.; Itsykson, Dmitry On optimal heuristic randomized semidecision procedures, with application to proof complexity. (English) Zbl 1230.03089 Marion, Jean-Yves (ed.) et al., STACS 2010. 27th international symposium on theoretical aspects of computer science, Nancy, France, March 4–6, 2010. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-16-3). LIPIcs – Leibniz International Proceedings in Informatics 5, 453-464, electronic only (2010). MSC: 03F20 03B05 03D15 68W20 PDFBibTeX XMLCite \textit{E. A. Hirsch} and \textit{D. Itsykson}, LIPIcs -- Leibniz Int. Proc. Inform. 5, 453--464 (2010; Zbl 1230.03089) Full Text: DOI Link
Hirsch, Edward A.; Kojevnikov, Arist UnitWalk: A new SAT solver that uses local search guided by unit clause elimination. (English) Zbl 1100.68621 Ann. Math. Artif. Intell. 43, No. 1-4, 91-111 (2005). MSC: 68T20 03B05 68W20 PDFBibTeX XMLCite \textit{E. A. Hirsch} and \textit{A. Kojevnikov}, Ann. Math. Artif. Intell. 43, No. 1--4, 91--111 (2005; Zbl 1100.68621) Full Text: DOI
Dantsin, Evgeny; Gavrilovich, Michael; Hirsch, Edward A.; Konev, Boris MAX SAT approximation beyond the limits of polynomial-time approximation. (English) Zbl 0990.03006 Ann. Pure Appl. Logic 113, No. 1-3, 81-94 (2002). MSC: 03B35 68W25 68Q25 03B05 03B25 PDFBibTeX XMLCite \textit{E. Dantsin} et al., Ann. Pure Appl. Logic 113, No. 1--3, 81--94 (2002; Zbl 0990.03006) Full Text: DOI