George Osipov

Department of Computer and Information Science , Linköping University , Linköping , Sweden

1 paper in the IJCAI proceedings

IJCAI 2024

Solving Quantified Boolean Formulas with Few Existential Variables

with Leif Eriksson, Victor Lagerkvist, Sebastian Ordyniak, Fahad Panolan, Mateusz Rychlicki

doi:10.24963/ijcai.2024/209

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings