4 citations · 14 across the 10 of their papers we have counts for
1 paper · 1 filter
Francois Hantry, Lakhdar Saïs, Mohand-Saïd Hacid
We show that (1) the Minimal False QCNF search-problem (MF-search) and the Minimal Unsatisfiable LTL formula search problem (MU-search) are FPSPACE complete because of the very exp…