Blar i AURA på forfatter "Song, Yujie"
-
Solving the boolean satisfiability problem using multilevel techniques
Salih, Sirar; Song, Yujie (Master thesis, 2011)There are many complex problems in computer science that occur in knowledge-representation (artificial thinking), artificial learning, Very Large Scale Integration (VLSI) design, security protocols and other areas. These ...