1. Optimal binary space partitions for segments in the plane;de Berg;Internat. J. Comput. Geom. Appl.,2012
2. Approximation hardness of short symmetric instances of MAX-3SAT;Berman,2003
3. The complexity of theorem-proving procedures;Cook,1971
4. On simplified NP-complete variants of Not-All-Equal 3-SAT and 3-SAT;Darmann,2019
5. On a simple hard variant of Not-All-Equal 3-SAT;Darmann;Theoret. Comput. Sci.,2020