Benjamin B{ö}hm | AC Group | TU Wienhttps://ac.notready.eu/author/benjamin-bohm/Benjamin B{ö}hmHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2024 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngBenjamin B{ö}hmhttps://ac.notready.eu/author/benjamin-bohm/QCDCL with cube learning or pure literal elimination - What is best?https://ac.notready.eu/publication/qcdcl-with-cube-learning-or-pure-literal-elimination-what-is-best-2/Mon, 01 Jan 2024 00:00:00 +0000https://ac.notready.eu/publication/qcdcl-with-cube-learning-or-pure-literal-elimination-what-is-best-2/Should Decisions in QCDCL Follow Prefix Order?https://ac.notready.eu/publication/should-decisions-in-qcdcl-follow-prefix-order-2/Mon, 01 Jan 2024 00:00:00 +0000https://ac.notready.eu/publication/should-decisions-in-qcdcl-follow-prefix-order-2/QCDCL with Cube Learning or Pure Literal Elimination - What is Best?https://ac.notready.eu/publication/qcdcl-with-cube-learning-or-pure-literal-elimination-what-is-best/Sat, 01 Jan 2022 00:00:00 +0000https://ac.notready.eu/publication/qcdcl-with-cube-learning-or-pure-literal-elimination-what-is-best/Should Decisions in QCDCL Follow Prefix Order?https://ac.notready.eu/publication/should-decisions-in-qcdcl-follow-prefix-order/Sat, 01 Jan 2022 00:00:00 +0000https://ac.notready.eu/publication/should-decisions-in-qcdcl-follow-prefix-order/