Skip navigation
Skip navigation

Importance of Variables Semantic in CNF Encoding of Cardinality Constraints

Anbulagan, Anbu; Grastien, Alban


In the satisfiability domain, it is well-known that a SAT algorithm may solve a problem instance easily and another instance hardly, whilst these two instances are equivalent CNF encodings of the original problem. Moreover, different algorithms may disagr

CollectionsANU Research Publications
Date published: 2009
Type: Conference paper
Source: Proceedings of The 8th Symposium on Abstraction, Reformulation and Approximation (SARA 2009)


File Description SizeFormat Image
01_Anbulagan_Importance_of_Variables_2009.pdf97.01 kBAdobe PDF    Request a copy
02_Anbulagan_Importance_of_Variables_2009.pdf354.25 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator