Higher-Order Quantified Boolean Satisfiability

Dmitry Chistikov, Christoph Haase, Zahra Hadizadeh, Alessio Mansutti
January 2022
PDF Project DOI
Type
Conference paper
Publication
Mathematical Foundations of Computer Science, MFCS