Search the dblp DataBase

Publications of Author

1. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai
   A Model Generation Based Theorem Prover MGTP for First-Order Logic. [Citation Graph (0, 0)][DBLP]
   Computational Logic: Logic Programming and Beyond, 2002, pp:178-213 [Conf]
   
2. Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai
   Moder Generation Theorem Proving with Finite Interval Constraints. [Citation Graph (0, 0)][DBLP]
   Computational Logic, 2000, pp:285-299 [Conf]
   
3. Shin'ichi Kobayashi, Fumihiro Kumeno, Yasuyuki Shirai, Shin-ya Sano, Satoshi Nishiyama, Naoki Asai, Akio Sato, Hiroshi Inujima
   A Methodology for Planning R&D Topics in IT Field. [Citation Graph (0, 0)][DBLP]
   HICSS, 2006, pp:- [Conf]
   
4. Yasuyuki Shirai, Ryuzo Hasegawa
   Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. [Citation Graph (0, 0)][DBLP]
   ICLP, 1995, pp:249-263 [Conf]
   
5. Shin'ichi Kobayashi, Yasuyuki Shirai, Kazuo Hiyane, Fumihiro Kumeno, Hiroshi Inujima, Noriyoshi Yamauchi
   Technology Trends Analysis from the Internet Resources. [Citation Graph (0, 0)][DBLP]
   PAKDD, 2005, pp:820-825 [Conf]
   
6. Yasuyuki Shirai, Ryuzo Hasegawa
   Answer Set Computation Based on a Minimal Model Generation Theorem Prover. [Citation Graph (0, 0)][DBLP]
   PRICAI, 2004, pp:43-52 [Conf]