Hardness and Optimality in QBF Proof Systems Modulo NP

von Chew, Leroy
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

How QBF Expansion Makes Strategy Extraction Hard

von Chew, Leroy
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Sorting Parity Encodings by Reusing Variables

von Chew, Leroy
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

AVOIDING MONOCHROMATIC RECTANGLES USING SHIFT PATTERNS

von Liu, Zhenjun
Veröffentlicht in International Symposium on Combinatorial Search (14. : 2021 : Online) 14th International Symposium on Combinatorial Search (SoCS 2021) (2021)