Ryuzo Hasegawa

59 papers A* 2A 6B 15Journal 10Unranked 26

Year	Rank	Type	Title / Venue / Authors
2014	J	`jnl`	Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations. IEICE Trans. Inf. Syst. Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2014	J	`jnl`	MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities. IEICE Trans. Inf. Syst. Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2013	B	`conf`	Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers. ICTAI Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
2013	A	`conf`	SCSat: A Soft Constraint Guided SAT Solver. SAT Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa
2013	B	`conf`	Using MaxSAT to Correct Errors in AES Key Schedule Images. ICTAI Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2012	—	`conf`	Evaluating Reranking Methods based on Link Co-occurrence and Category in Wikipedia. ICAART (1) Yuichi Takiguchi, Koji Kurakado, Tetsuya Oishi, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2012	—	`conf`	Hybrid particle swarm optimization and convergence analysis for scheduling problems. GECCO (Companion) Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2012	J	`jnl`	QMaxSAT: A Partial Max-SAT Solver. J. Satisf. Boolean Model. Comput. Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa
2012	B	`conf`	Solving the Coalition Structure Generation Problem with MaxSAT. ICTAI Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2011	B	`conf`	An efficient hybrid particle swarm optimization for the Job Shop Scheduling Problem. FUZZ-IEEE Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2011	—	`conf`	Combining PSO and local search to solve scheduling problems. GECCO (Companion) Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2011	—	`conf`	Evaluating Reranking Methods using Wikipedia Features. ICAART (1) Koji Kurakado, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
2011	—	`conf`	QMaxSAT version 0.3 & 0.4. TABLEAUX (Workshops, Tutorials, and Short Papers) Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2011	—	`conf`	Trendspotter Detection System for Twitter. ICAART (1) Wataru Shirakihara, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
2010	J	`jnl`	A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem. Aust. J. Intell. Inf. Process. Syst. Xue-Feng Zhang, Bin Tong, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2010	—	`conf`	Related Word Extraction from Wikipedia for Web Retrieval Assistance. ICAART (2) Kentaro Hori, Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
2010	—	`conf`	Rule Extraction from Blog Using Inductive Logic Programming. Web Intelligence/IAT Workshops Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2010	J	`jnl`	Solving Open Job-Shop Scheduling Problems by SAT Encoding. IEICE Trans. Inf. Syst. Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa
2009	J	`jnl`	A continuation-based noninterruptible multithreading processor architecture. J. Supercomput. Satoshi Amamiya, Makoto Amamiya, Ryuzo Hasegawa, Hiroshi Fujita
2009	—	`conf`	Minimal Model Generation with Respect to an Atom Set. FTP Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa
2009	—	`conf`	Related Word Extraction Algorithm for Query Expansion - An Evaluation. PRIMA Workshops Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
2008	—	`conf`	A Method for Query Expansion Using the Related Word Extraction Algorithm. Web Intelligence/IAT Workshops Tetsuya Oishi, Shunsuke Kuramoto, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
2008	B	`conf`	Personalized Search Using ODP-based User Profiles Created from User Bookmark. PRICAI Tetsuya Oishi, Yoshiaki Kambara, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
2007	—	`conf`	Fuce: the continuation-based multithreading processor. Conf. Computing Frontiers Satoshi Amamiya, Masaaki Izumi, Takanori Matsuzaki, Ryuzo Hasegawa, Makoto Amamiya
2007	—	`conf`	User-Schedule-based Web Page Recommendation. Web Intelligence Tetsuya Oishi, Shunsuke Kuramoto, Hiroto Nagata, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
2004	B	`conf`	Abstract Model Generation for Preprocessing Clause Sets. LPAR Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa
2004	B	`conf`	Answer Set Computation Based on a Minimal Model Generation Theorem Prover. PRICAI Yasuyuki Shirai, Ryuzo Hasegawa
2002	—	`conf`	A Model Generation Based Theorem Prover MGTP for First-Order Logic. Computational Logic: Logic Programming and Beyond Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai
2001	B	`conf`	Model Generation with Boolean Constraints. LPAR Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
2000	A	`conf`	Efficient Minimal Model Generation Using Branching Lemmas. CADE Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
2000	B	`conf`	Minimal Model Generation with Factorization and Constrained Search. PRICAI Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa
2000	—	`conf`	Moder Generation Theorem Proving with Finite Interval Constraints. Computational Logic Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai
2000	B	`conf`	Proof Simplification for Model Generation and Its Applications. LPAR Miyuki Koshimura, Ryuzo Hasegawa
1999	J	`jnl`	The parallel logic programming system in the FGCS project and its future directions. Parallel Comput. Shunichi Uchida, Akira Aiba, Kazuaki Rokusawa, Takashi Chikayama, Ryuzo Hasegawa
1998	A	`conf`	On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa
1997	B	`conf`	MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. TABLEAUX Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
1997	A	`conf`	Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. CADE Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura
1995	B	`conf`	Model Generation Theorem Provers and Their Applications. ICLP Ryuzo Hasegawa
1995	B	`conf`	Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. ICLP Yasuyuki Shirai, Ryuzo Hasegawa
1994	—	`conf`	An AND Parallelization Method for MGTP and Its Evaluation. PASCO Ryuzo Hasegawa, Miyuki Koshimura
1993	A*	`conf`	Bottom-up Abduction by Model Generation. IJCAI Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima
1993	J	`jnl`	Outline of the FGCS Fallow-on Project. New Gener. Comput. Shunichi Uchida, Ryuzo Hasegawa, Kazumasa Yokota, Takashi Chikayama, Katsumi Nitta, Akira Aiba
1992	—	`conf`	Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers. FGCS Akira Aiba, Ryuzo Hasegawa
1992	A	`conf`	Embedding Negation as Failure into a Model Generation Theorem Prover. CADE Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa
1992	—	`conf`	Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. IWAR Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
1992	A	`conf`	MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. CADE Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
1992	—	`conf`	Model Generation Theorem Provers on a Parallel Inference Machine. FGCS Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
1992	—	`conf`	Parallel Theorem Provers and Their Applications. FGCS Ryuzo Hasegawa, Masayuki Fujita
1991	B	`conf`	A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. ICLP Hiroshi Fujita, Ryuzo Hasegawa
1988	—	`conf`	Constraints Logic Programming Language CAL. FGCS Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa
1988	—	`conf`	Problem-Solving and Inference Software. FGCS Ryuzo Hasegawa
1987	—	`conf`	DFM: the data flow machine highly parallel symbol manipulation. FJCC Makoto Amamiya, Masaru Takesue, Ryuzo Hasegawa, Hirohide Mikami
1986	B	`conf`	A Stream-Oriented Parallel Processing Scheme for Relational Database Operations. ICPP Yasushi Kiyoki, Ryuzo Hasegawa, Makoto Amamiya
1986	A*	`conf`	Implementation and Evaluation of a List-Processing-Oriented Data Flow Machine. ISCA Makoto Amamiya, Masaru Takesue, Ryuzo Hasegawa, Hirohide Mikami
1985	J	`jnl`	A list-processing-oriented data flow machine architecture and its evaluation. Syst. Comput. Jpn. Ryuzo Hasegawa, Hirohide Mikami, Makoto Amamiya
1984	J	`jnl`	Dataflow Computing and Eager and Lazy Evaluations. New Gener. Comput. Makoto Amamiya, Ryuzo Hasegawa
1984	—	`conf`	Parallel Execution of Logic Programs based on Dataflow Concept. FGCS Ryuzo Hasegawa, Makoto Amamiya
1982	—	`conf`	A list-processing-oriented data flow machine architecture. AFIPS National Computer Conference Makoto Amamiya, Ryuzo Hasegawa, Osamu Nakamura, Hirohide Mikami
1982	—	`conf`	List Processing with a Data Flow Machine. RIMS Symposium on Software Science and Engineering Makoto Amamiya, Ryuzo Hasegawa, Hirohide Mikami