On incremental core-guided maxsat solving

TitleOn incremental core-guided maxsat solving
Publication TypeConference Paper
Year of Publication2016
AuthorsSi, X., X. Zhang, V. Manquinho, M. Janota, A. Ignatiev, and M. Naik
Conference NameInternational Conference on Principles and Practice of Constraint Programming
PublisherSpringer