CaDiCaL 3.0 (Tool Paper) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, André Schidler, Dominik Schreiber 0001, Armin Biere. CaDiCaL 3.0 (Tool Paper). In Alexey Ignatiev, Stefan Szeider, editors, 29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026. Volume 377 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]

This author has not been identified. Look up 'Florian Pollitt' in GoogleThis author has not been identified. Look up 'Mathias Fleury' in GoogleThis author has not been identified. Look up 'Katalin Fazekas' in GoogleThis author has not been identified. Look up 'Nils Froleyks' in GoogleThis author has not been identified. Look up 'André Schidler' in GoogleThis author has not been identified. Look up 'Dominik Schreiber 0001' in GoogleThis author has not been identified. Look up 'Armin Biere' in Google

runs on WebDSL