Satoshi Horie

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

2 Satoshi Horie, Osamu Watanabe: Hard instance generation for SAT CoRR cs.CC/9809117: (1998)

1997

1 Satoshi Horie, Osamu Watanabe: Hard Instance Generation for SAT (Extended Abstract). ISAAC 1997: 22-31

	1998
2		Satoshi Horie, Osamu Watanabe: Hard instance generation for SAT CoRR cs.CC/9809117: (1998)
	1997
1		Satoshi Horie, Osamu Watanabe: Hard Instance Generation for SAT (Extended Abstract). ISAAC 1997: 22-31

Coauthor Index