Hard satisfiable formulas for splittings by linear combinations
From MaRDI portal
Publication:1680241
DOI10.1007/978-3-319-66263-3_4zbMath1497.68359OpenAlexW2741063651WikidataQ57838075 ScholiaQ57838075MaRDI QIDQ1680241
Dmitry Itsykson, Alexander Knop
Publication date: 15 November 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-66263-3_4
Analysis of algorithms and problem complexity (68Q25) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Computational aspects of satisfiability (68R07)
Related Items (1)
This page was built for publication: Hard satisfiable formulas for splittings by linear combinations
