Friedrich Slivovsky (Preferred)
Friedrich Slivovsky
Lecturer, Computer Science, University of Liverpool
Joined
July 2019
Names
Emails
****@gmail.com (Confirmed)
****@liverpool.ac.uk (Confirmed)
Personal Links
Career & Education History
Lecturer
Computer Science, University of Liverpool (liverpool.ac.uk)
2023 – Present
Advisors, Relations & Conflicts
Expertise
Automated Reasoning
2011 – Present
Satisfiability
2011 – Present
Quantified Boolean Formulas
2011 – Present
Knowledge Compilation
2014 – 2020