Armin Biere | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/armin-biere/Armin BiereHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngArmin Bierehttps://ac.tuwien.ac.at/team/armin-biere/Satisfiability Modulo User Propagatorshttps://ac.tuwien.ac.at/publication/satisfiability-modulo-user-propagators/Mon, 01 Jan 2024 00:00:00 +0000https://ac.tuwien.ac.at/publication/satisfiability-modulo-user-propagators/IPASIR-UP: User Propagators for CDCLhttps://ac.tuwien.ac.at/publication/ipasir-up-user-propagators-for-cdcl/Sun, 01 Jan 2023 00:00:00 +0000https://ac.tuwien.ac.at/publication/ipasir-up-user-propagators-for-cdcl/