Or Zamir. Breaking Barriers for the Satisfiability and Coloring Problems. PhD thesis, Tel Aviv University, Israel, 2020. [doi]
@phdthesis{il-809, title = {Breaking Barriers for the Satisfiability and Coloring Problems}, author = {Or Zamir}, year = {2020}, url = {https://tau.primo.exlibrisgroup.com/permalink/972TAU_INST/bai57q/alma9933263099104146}, note = {Tel Aviv University Library}, researchr = {https://researchr.org/publication/il-809}, cites = {0}, citedby = {0}, school = {Tel Aviv University, Israel}, }