IPASIR-UP: User Propagators for CDCL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere. IPASIR-UP: User Propagators for CDCL. In Meena Mahajan, Friedrich Slivovsky, editors, 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy. Volume 271 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

This author has not been identified. Look up 'Katalin Fazekas' in GoogleThis author has not been identified. Look up 'Aina Niemetz' in GoogleThis author has not been identified. Look up 'Mathias Preiner' in GoogleThis author has not been identified. Look up 'Markus Kirchweger' in GoogleThis author has not been identified. Look up 'Stefan Szeider' in GoogleThis author has not been identified. Look up 'Armin Biere' in Google

runs on WebDSL