HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

conflict analysis, experimental evaluation, SAT.

Copyright © 2012-2025 easychair.org. All rights reserved.