Search for dissertations about: "0-1 linear inequalities"
Found 1 swedish dissertation containing the words 0-1 linear inequalities.
-
1. Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
Abstract : Over the last decades, dramatic improvements in combinatorialoptimisation algorithms have significantly impacted artificialintelligence, operations research, and other areas. These advances,however, are achieved through highly sophisticated algorithms that aredifficult to verify and prone to implementation errors that can causeincorrect results. READ MORE
Result pages:
1