CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020

Armin Biere
, Katalin Fazekas
, Mathias Fleury
, Maximilian Heisinger

Institute of Formal Models and Verification

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

2 results

Filter

Finished

LOGTECHEDU - Logic Technology for Computer Science Education
Sabitzer, B. (Researcher), Seidl, M. (Researcher) & Biere, A. (PI)
01.03.2018 → 31.08.2020
Project: Funded research › Federal / regional / local authorities
Logical Methods in Computer Science - Periode II (DK W-1255)
Biere, A. (PI) & Seidl, M. (PI)
01.03.2018 → 28.02.2023
Project: Funded research › FWF - Austrian Science Fund