懐かしい空気を感じる。graspの論文を読むことから初めて、yicesのコードを見ていたあの頃を思い出した。

phmpk のブックマーク 2017/12/18 23:34

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/351987668/comment/phmpk" data-user-id="phmpk" data-entry-url="https://b.hatena.ne.jp/entry/s/rkx1209.hatenablog.com/entry/2017/12/17/175439" data-original-href="https://rkx1209.hatenablog.com/entry/2017/12/17/175439" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Frkx1209.hatenablog.com%2Fentry%2F2017%2F12%2F17%2F175439" data-user-icon="/users/phmpk/profile.png">SAT/SMTソルバを自作してみる話 - るくすの日記 ~ Out_Of_Range ~</a><br><p style="clear: left">懐かしい空気を感じる。graspの論文を読むことから初めて、yicesのコードを見ていたあの頃を思い出した。</p><a class="datetime" href="https://b.hatena.ne.jp/phmpk/20171218#bookmark-351987668"><span class="datetime-body">2017/12/18 23:34</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

SAT/SMTソルバを自作してみる話 - るくすの日記 ~ Out_Of_Range ~

rkx1209.hatenablog.com2017/12/17

この記事は Kobe University Advent Calendar 2017 - Adventar 17日目の記事です。 1年ぐらい前にC3というSMTソルバをC言語でスクラッチから作ったので、その話でもします。よりによってなぜSMTソルバをCで書い...

46 人がブックマーク・1 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

SAT/SMTソルバを自作してみる話 - るくすの日記 ~ Out_Of_Range ~

はてなブックマーク

公式Twitter

はてなのサービス