Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Conference Paper

A.P. Guerreiro

M. Terra-Neves

I. Lynce

J.R. Figueira

V. Manquinho

Publication

Year of Publication:
2019

Identifiers

ISSN Number:
16113349 03029743
ISBN Number:
9783030300470
Other Numbers:
2-s2.0-85075721582

Locators

DOI:
10.1007/978-3-030-30048-7_14

Sustainable Development Goals