Search for dissertations about: "0-1 linear inequalities"

Found 1 swedish dissertation containing the words 0-1 linear inequalities.

2. 1. Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning

   Author : Stephan Gocht; Parallella System; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; certifying algorithms; 0-1 linear inequalities; combinatorial algorithms; proof logging;

   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