Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers

Abstract

Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers

References

Authors

  • M. El B. Menai
  • T.N. Al-Yahya

Downloads

Issue

Vol. 37 No. 3 (2013)

Section

Special issue papers

License

Authors retain copyright in their work. By submitting to and publishing with Informatica, authors grant the publisher (Slovene Society Informatika) the non-exclusive right to publish, reproduce, and distribute the article and to identify itself as the original publisher.

All articles are published under the Creative Commons Attribution license CC BY 3.0. Under this license, others may share and adapt the work for any purpose, provided appropriate credit is given and changes (if any) are indicated.

Authors may deposit and share the submitted version, accepted manuscript, and published version, provided the original publication in Informatica is properly cited.

How to Cite

Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers. Informatica, 37(3). https://www.informatica.si/index.php/informatica/article/view/453