About this scholarly article

2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - Non-Portfolio Approaches for Distributed Maximum Satisfiability by Terra-Neves, Miguel; Lynce, Ines; Manquinho, Vasco is a scholarly article available to read on EtoBox.

Author

Terra-Neves, Miguel; Lynce, Ines; Manquinho, Vasco

Publisher

IEEE

Published

2016

Language

EN