IEEE - Institute of Electrical and Electronics Engineers, Inc. - Non-Portfolio Approaches for Distributed Maximum Satisfiability

2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)

Author(s): Miguel Terra-Neves ; Ines Lynce ; Vasco Manquinho
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2016
Conference Location: San Jose, CA, USA
Conference Date: 6 November 2016
Page(s): 436 - 443
ISBN (Electronic): 978-1-5090-4459-7
ISSN (Electronic): 2375-0197
DOI: 10.1109/ICTAI.2016.0073
Regular:

The most successful parallel SAT and MaxSAT solvers follow a portfolio approach, where each thread applies a different algorithm (or the same algorithm configured differently) to solve a given... View More

Advertisement