Hiroshi Fujita

34 papers A 3B 9Journal 6Unranked 16

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	A Hybrid Encoding of Pseudo-Boolean Constraints into CNF. TAAI Aolong Zha, Miyuki Koshimura, Hiroshi Fujita
2017	B	`conf`	Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints. ICTAI Aolong Zha, Naoki Uemura, Miyuki Koshimura, Hiroshi Fujita
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`	User-Schedule-based Web Page Recommendation. Web Intelligence Tetsuya Oishi, Shunsuke Kuramoto, Hiroto Nagata, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
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
1997	B	`conf`	MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. TABLEAUX Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
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
1991	B	`conf`	A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. ICLP Hiroshi Fujita, Ryuzo Hasegawa