Shlomo Hoory | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/shlomo-hoory/Shlomo HooryHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Jan 2006 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngShlomo Hooryhttps://ac.tuwien.ac.at/team/shlomo-hoory/A note on unsatisfiable k-CNF formulas with few occurrences per variablehttps://ac.tuwien.ac.at/publication/a-note-on-unsatisfiable-k-cnf-formulas-with-few-occurrences-per-variable/Sun, 01 Jan 2006 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-note-on-unsatisfiable-k-cnf-formulas-with-few-occurrences-per-variable/Computing unsatisfiable k-SAT instances with few occurrences per variablehttps://ac.tuwien.ac.at/publication/computing-unsatisfiable-k-sat-instances-with-few-occurrences-per-variable-2/Sat, 01 Jan 2005 00:00:00 +0000https://ac.tuwien.ac.at/publication/computing-unsatisfiable-k-sat-instances-with-few-occurrences-per-variable-2/Computing Unsatisfiable k-SAT Instances with Few Occurrences per Variablehttps://ac.tuwien.ac.at/publication/computing-unsatisfiable-k-sat-instances-with-few-occurrences-per-variable/Thu, 01 Jan 2004 00:00:00 +0000https://ac.tuwien.ac.at/publication/computing-unsatisfiable-k-sat-instances-with-few-occurrences-per-variable/