◀ Click to filter

Total displayed: 1

Order by:
  • On Incremental Core-Guided MaxSAT Solving
    Xujie Si, Xin Zhang, Vasco Manquinho, Mikolás Janota, Alexey S. Ignatiev, Mayur Naik
    International Conference Principles and Practice of Constraint Programming (CP 2016), Lecture Notes in Computer Science, Springer, Springer,

Keywords

Year Published

2016 - 2016

Type

(1)
Conference Paper

Ranking

(1)
Other

Scope

(1)
International