Skip to Main Content

Search

Skip to Search Results
Filter
Close
Subject / Keyword
Departments
Author / Creator / Contributor
Year
to
Collections
Languages
Item type
Supervisors
Subject: Integration Departments: Department of Computing Science

  • SAT with Global Constraints

    Download

    Fall 2011

    Chowdhury, Md Solimul

    Propositional satisability (SAT) has been a dominant tool in solving some practical NP-complete problems. However, SAT also has a number of weaknesses, including its inability to compactly represent numerical constraints and its low level, unstructured language of clauses. In contrast, Constraint...

1 - 1 of 1