Understanding the power of Max-SAT resolution through UP-resilience
Work
Year: 2020
Type: article
Source: Artificial Intelligence
Institutions Laboratoire d’Informatique et Systèmes, Centre National de la Recherche Scientifique, Université de Toulon
Cites: 28
Cited by: 7
Related to: 10
FWCI: 0.683
Citation percentile (by year/subfield): 74.66
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze