Search for dissertations about: "proof logging"
Found 1 swedish dissertation containing the words proof logging.
-
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