Skip to main content

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)

Book

A.P. Guerreiro

M. Terra-Neves

I. Lynce

J.R. Figueira

V. Manquinho

Publication

Year of Publication:
2019
Volume:
11802 LNCS
Number of Pages:
232-250

Identifiers

Other Numbers:
2-s2.0-85075721582

Locators

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

Sustainable Development Goals