Publications

Constraint-Based Techniques in Stochastic Local Search Maxsat Solving

AuthID
P-00R-EHS

Author(s)

Guerreiro, AP

Terra Neves, M

Lynce, I

Figueira, JR

Manquinho, V

Editor(s)

Schiex,T;DeGivry,S

Document Type

Proceedings Paper

Year published

2019

Published

in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 11802, Pages: 232-250 (19)

Conference

25Th International Conference on the Principles and Practice of Constraint Programming (Cp), Date: SEP 30-OCT 04, 2019, Location: Stamford, CT, Sponsors: Elsevier, Artificial Intelligence Journal, Cosling, Huawei, IBM Res, AIMMS, Mitsubishi Elect Res Labs Inc, Optimizat Firm, Springer

Indexing