Publications

On Reducing Maximum Independent Set to Minimum Satisfiability

AuthID
P-009-PKH

Author(s)

Ignatiev, A

Morgado, A

Marques Silva, J

Editor(s)

Sinz,C;Egly,U

Document Type

Proceedings Paper

Year published

2014

Published

in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8561, Pages: 103-120 (18)

Conference

17Th International Conference on Theory and Applications of Satisfiability Testing (Sat) Held as Part of the Federated Logic Conference (Floc) / Vienna Summer of Logic (Vsl) Conference, Date: JUL 09-24, 2014, Location: Vienna, AUSTRIA, Sponsors: Kurt Godel Soc, SAT Assoc, Intel, Host: Vienna Univ Technol

Indexing