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:
11802LNCS
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

Contacts

CEG-IST - Centro de Estudos de Gestão
Instituto Superior Técnico

Av. Rovisco Pais, 1049 - 001 Lisboa
Tel: +351 21 841 77 29 (ext. 1729)
Fax: +351 21 841 79 79
E-mail: cegist@tecnico.ulisboa.pt

Sponsored by

FCT logo

 

 

Financed by Portuguese funds through the FCT - Foundation for Science and Technology, I.P., under the projects UIDB/00097/2020 and UIDP/00097/2020

Host Institution

IST Lisboa