NEW RESEARCH LINES FOR MAX-SAT - Exploiting the Recent Resolution Rule for Max-SAT

Federico Heras

2010

Abstract

This paper presents the current state-of-the-art techniques for Max-SAT solving and points out new research lines in order to exploit the benefits of the novel resolution rule for Max-SAT.

Paper Citation

in Harvard Style

Heras F. (2010). NEW RESEARCH LINES FOR MAX-SAT - Exploiting the Recent Resolution Rule for Max-SAT . In Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-674-021-4, pages 648-651. DOI: 10.5220/0002761706480651

in Bibtex Style

@conference{icaart10,
author={Federico Heras},
title={NEW RESEARCH LINES FOR MAX-SAT - Exploiting the Recent Resolution Rule for Max-SAT},
booktitle={Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2010},
pages={648-651},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002761706480651},
isbn={978-989-674-021-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - NEW RESEARCH LINES FOR MAX-SAT - Exploiting the Recent Resolution Rule for Max-SAT
SN - 978-989-674-021-4
AU - Heras F.
PY - 2010
SP - 648
EP - 651
DO - 10.5220/0002761706480651