大橋智昭 Ohashi Tomoaki

自己紹介

名前　　　　　大橋智昭
所属　　　　　早稲田大学大学院情報ネットワーク専攻
研究テーマ　充足可能性問題(Satisfiability Problem)、並列処理

-Satisfiability Problem:SAT
-SAT Solver
-Sat Competition

-Complete Sat Solver
--satz,chaff,zchaff2002,minisat

-Random Sat Solver
--gsat,walksat,unitwalk,walksat/SKC,novelty,novelty+,adaptnovelty,ranof

-Parallel Sat Solver
--PSAT,multi-sat,Grid-SAT,MPI-Zchaff,

-AI Planning with SAT
--blackbox,satplan,GlanPlan

-推奨論文

趣味　　　　　 プログラミング、麻雀、デート、ネットビジネス、会社経営、インターネット

経歴
2000.4 早稲田大学理工学部情報学科入学
2002.4 株式会社サンエスで、裁判所及び、官庁、教育機関のＰＣ設定・搬入の仕事に従事
2003.9 Hubase-I広告代理部門にてネットビジネスに従事
2004.3 同大学卒業
2004.4 早稲田大学大学院情報ネットワーク専攻入学
2004.5 SACSIS2005 SATソルバzchaffのMPIによる並列化 大橋 智昭、上田 和紀
2004.6 SWOP2005 SATソルバzchaffのMPIによる並列化 大橋智昭、稲垣良一、上田和紀
2005.3 Hubase-Iの関連会社を経営
2005.6 SEO、ＨＰの製作会社をメインとするOhashi & Obana Net Marketing設立
2006.3　同大学院卒業予定
2006.4　株式会社リクルート　事業開発室