research
∙
05/07/2023
On guarded extensions of MMSNP
We investigate logics and classes of problems below Fagin's existential ...
research
∙
03/13/2022
Maximum cut on interval graphs of interval count two is NP-complete
We show that the Max-Cut problem is NP-complete on interval graphs of in...
research
∙
07/29/2021