Sökning: "Adam Shih"

Hittade 1 uppsats innehållade orden Adam Shih.

  1. 1. Automatic Enumeration of Intervals of Partial Co-Clones

    Magister-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Adam Shih; [2016]
    Nyckelord :;

    Sammanfattning : Computer scientists are curious about the complexity relationship between different kinds of NP-complete SAT problems. In order to understand the complexity relationship between SAT problems, we decided to correspond SAT problems to a kind of algebra called partial co-clones. Each SAT problem can be represented by a set of Boolean relations. LÄS MER