{"id":102,"date":"2012-06-15T10:20:25","date_gmt":"2012-06-15T01:20:25","guid":{"rendered":"http:\/\/twobits.sub.jp\/researchers\/?p=102"},"modified":"2012-06-15T10:28:44","modified_gmt":"2012-06-15T01:28:44","slug":"%e3%83%94%e3%83%83%e3%82%af%e3%82%a2%e3%83%83%e3%83%97%e3%83%8b%e3%83%a5%e3%83%bc%e3%82%b9%e3%81%a7%e3%81%99","status":"publish","type":"post","link":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/result\/102\/","title":{"rendered":"\u934b\u5cf6\u51c6\u6559\u6388\u304c\u4e16\u754c\u30b3\u30f3\u30da\u3067\u90e8\u9580\u5225\u512a\u52dd\u3001\u7dcf\u54082\u4f4d\u306e\u5feb\u6319\u9054\u6210\uff01\uff01"},"content":{"rendered":"<p>\u934b\u5cf6\u82f1\u77e5\u51c6\u6559\u6388\uff08\u5927\u5b66\u9662\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30e1\u30c7\u30a3\u30a2\u5de5\u5b66\u5c02\u653b\uff09\u304c\u958b\u767a\u3057\u305fSAT\u30bd\u30eb\u30d0\u30fc GlueMiniSat\u304c\u3001\u4e16\u754c\u30b3\u30f3\u30da\u30c6\u30a3\u30b7\u30e7\u30f3 SAT Competition 2011\u306e\u7523\u696d\u5fdc\u7528\u30ab\u30c6\u30b4\u30ea\u306b\u304a\u3044\u3066\u3001\u90e8\u9580\u5225\u512a\u52dd\u304a\u3088\u3073\u7dcf\u54082\u4f4d\u306b\u5165\u308b\u306a\u3069\u306e\u5feb\u6319\u3092\u6210\u3057\u9042\u3052\u307e\u3057\u305f\u3002\u65e5\u672c\u304b\u3089\u53c2\u52a0\u3057\u305f\u30bd\u30eb\u30d0\u304c\u512a\u52dd\u3057\u305f\u306e\u306f\u521d\u3081\u3066\u306e\u3053\u3068\u3067\u3059\u3002<\/p>\n<p>SAT\uff08\u5145\u8db3\u53ef\u80fd\u6027\u5224\u5b9a\u554f\u984c\uff09\u3068\u306f\u3001\u60c5\u5831\u79d1\u5b66\u3067\u6700\u3082\u57fa\u672c\u7684\u3067\u672c\u8cea\u7684\u306a\u7d44\u5408\u305b\u554f\u984c\u3067\u3042\u308a\u3001\u7523\u696d\u5fdc\u7528\u4e0a\u3082\u6975\u3081\u3066\u91cd\u8981\u306a\u305f\u3081\u8fd1\u5e74\u6025\u901f\u306b\u767a\u5c55\u3092\u7d9a\u3051\u3066\u3044\u308b\u5206\u91ce\u3067\u3059\u3002SAT\u30b3\u30f3\u30da\u30c6\u30a3\u30b7\u30e7\u30f3\u306f\u3001\u3053\u306eSAT\u554f\u984c\u3092\u9ad8\u901f\u306b\u89e3\u304f\u30bd\u30d5\u30c8\u30a6\u30a8\u30a2\u306e\u4e16\u754c\u3067\u552f\u4e00\u306e\u56fd\u969b\u7af6\u6280\u4f1a\u3067\u3042\u308a\u3001\u9694\u5e74\u3067\u958b\u50ac\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u6bce\u56de\u3001\u53c2\u52a0\u30b7\u30b9\u30c6\u30e0\u304c\u5897\u3048\u3066\u304a\u308a\u3001\u4eca\u56de\u306f\u4e16\u754c\u4e2d\u304b\u308979\u30b7\u30b9\u30c6\u30e0\u304c\u53c2\u52a0\u3057\u3066\u3044\u307e\u3059\u3002\uff12\u30f6\u6708\u306b\u53ca\u3076\u4e88\u9078\u30b9\u30c6\u30fc\u30b8\u306e\u5f8c\u3001\u66f4\u306b\u7d041\u30f6\u6708\u9593\u306e\u6c7a\u52dd\u30b9\u30c6\u30fc\u30b8\u3092\u7d4c\u3066\u3001\u6700\u7d42\u6210\u7e3e\u304c\u6c7a\u3081\u3089\u308c\u307e\u3057\u305f\u3002\u934b\u5cf6\u51c6\u6559\u6388\u306eGlueMiniSat \u30bd\u30eb\u30d0\u306f\u521d\u53c2\u52a0\u306a\u304c\u3089\u3001\u5358\u4e00CPU\u30af\u30e9\u30b9\u306eUNSAT\u90e8\u9580\u3067\u512a\u52dd\u3001\u7dcf\u5408\u90e8\u9580(SAT+UNSAT\u90e8\u9580)\u30672\u4f4d\u3001\u66f4\u306b\u5358\u4e00\u30fb\u8907\u6570CPU \u5168\u4f53\u30af\u30e9\u30b9\u306eUNSAT\u90e8\u9580\u30672\u4f4d\u306b\u5165\u308b\u306a\u3069\u306e\u6975\u3081\u3066\u512a\u79c0\u306a\u6210\u7e3e\u3092\u53ce\u3081\u307e\u3057\u305f\u3002<\/p>\n<pre>\u30b3\u30f3\u30da\u30c6\u30a3\u30b7\u30e7\u30f3\u306e\u8a73\u7d30\u306f\u4e0b\u8a18\u306e\u30b5\u30a4\u30c8\u304b\u3089\u60c5\u5831\u304c\u5165\u624b\u3067\u304d\u307e\u3059\u3002\r\nURL: <a href=\"http:\/\/www.satcompetition.org\/\" target=\"_blank\">http:\/\/www.satcompetition.org\/<\/a>\r\n\r\n\u307e\u305fSAT\u306e\u89e3\u8aac\u306f\u4ee5\u4e0b\u306e\u30da\u30fc\u30b8\u306a\u3069\u304b\u3089\u5165\u624b\u3067\u304d\u307e\u3059\u3002\r\n<a href=\"http:\/\/ja.wikipedia.org\/wiki\/%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C\" target=\"_blank\">http:\/\/ja.wikipedia.org\/wiki\/\u5145\u8db3\u53ef\u80fd\u6027\u554f\u984c<\/a><\/pre>\n<p>\u30b3\u30f3\u30da\u30c6\u30a3\u30b7\u30e7\u30f3\u306e\u8a73\u7d30\u306f\u4e0b\u8a18\u306e\u30b5\u30a4\u30c8\u304b\u3089\u60c5\u5831\u304c\u5165\u624b\u3067\u304d\u307e\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u934b\u5cf6\u82f1\u77e5\u51c6\u6559\u6388\uff08\u5927\u5b66\u9662\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30e1\u30c7\u30a3\u30a2\u5de5\u5b66\u5c02\u653b\uff09\u304c\u958b\u767a\u3057\u305fSAT\u30bd\u30eb\u30d0\u30fc GlueMiniSat\u304c\u3001\u4e16\u754c\u30b3\u30f3\u30da\u30c6\u30a3\u30b7\u30e7\u30f3 SAT Com\u2026 <span class=\"tsuduki\"><a href=\"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/result\/102\/\" class=\"more\">\uff3b\u7d9a\u304d\u3092\u8aad\u3080\uff3d<\/a><\/span><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[7],"class_list":["post-102","post","type-post","status-publish","format-standard","hentry","category-result","tag-sat"],"_links":{"self":[{"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/posts\/102","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/comments?post=102"}],"version-history":[{"count":19,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/posts\/102\/revisions"}],"predecessor-version":[{"id":419,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/posts\/102\/revisions\/419"}],"wp:attachment":[{"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/media?parent=102"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/categories?post=102"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.eng.yamanashi.ac.jp\/researchers\/wp-json\/wp\/v2\/tags?post=102"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}