Mathias Preiner | AC Group | TU Wienhttps://ac.notready.eu/author/mathias-preiner/Mathias PreinerHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2024 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngMathias Preinerhttps://ac.notready.eu/author/mathias-preiner/Satisfiability Modulo User Propagatorshttps://ac.notready.eu/publication/satisfiability-modulo-user-propagators/Mon, 01 Jan 2024 00:00:00 +0000https://ac.notready.eu/publication/satisfiability-modulo-user-propagators/IPASIR-UP: User Propagators for CDCLhttps://ac.notready.eu/publication/ipasir-up-user-propagators-for-cdcl/Sun, 01 Jan 2023 00:00:00 +0000https://ac.notready.eu/publication/ipasir-up-user-propagators-for-cdcl/