SAT-solverek gyorsítása best-first search algoritmussal

1 Budapesti Műszaki és Gazdaságtudományi Egyetem Villamosmérnöki és Informatikai Kar SAT-solverek gyorsí...
Author:  Klára Dudásné

24 downloads 143 Views 1MB Size

Recommend Documents