Sökning: "proof logging"

Hittade 1 avhandling innehållade orden proof logging.

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

   Författare :Stephan Gocht; Parallella System; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; certifying algorithms; 0-1 linear inequalities; combinatorial algorithms; proof logging;

   Sammanfattning : 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. LÄS MER