Author:Rui Zhao

Publications
Analyzing Multiple Conflicts in SAT: An Experimental Evaluation Albert Oliveras, Enric Rodríguez Carbonell and Rui Zhao In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning