University algorithm-oriented project that accurately detects complex networks of influential mafia families represented as vertices and edges of rare graphs. The algorithms are being reduced to the ...
A program designed to solve a Lights Out game using a SAT solver. If unfamiliar with the game, please take a look at Lights Out games on this site that provides various configurations of the game.
離散変数を扱う問題では、SATソルバーを使うためにBoolean変数へ二値化することがよくあります。しかし二値化は、問題を大きくしたり、元の意味構造を見えにくくしたりします。Dsatは、そこを離散値のまま解こうとする研究です。 Dsatでまず見るべきなのは ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する