Higher-Order Quantified Boolean Satisfiability.

Dmitry Chistikov, Christoph Haase, Zahra Hadizadeh, Alessio Mansutti

Browse the full MFCS paper archive.