Now showing items 1-1 of 1
Novel Value Ordering Heuristics Using Non-Linear Optimization In Boolean Satisfiability
(University of Waterloo, 2012-08-30)
Boolean Satisfiability (SAT) is a fundamental NP-complete problem of determining whether there exists an assignment of variables which makes a Boolean formula evaluate to True. SAT is a convenient representation for many ...