Skip navigation
Skip navigation

Importance of Variables Semantic in CNF Encoding of Cardinality Constraints

Anbulagan, Anbu; Grastien, Alban

Description

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
URI: http://hdl.handle.net/1885/23902
Source: Proceedings of The 8th Symposium on Abstraction, Reformulation and Approximation (SARA 2009)

Download

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:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator