Toshiki Saitoh, Katsuhisa Yamanaka, Masashi Kiyomi and Ryuhei Uehara:
Random Generation and Enumeration of Proper Interval Graphs
IEICE Transactions, Vol. E93-D, No. 7, pp. 1816-1823, 2010.
DOI:10.1587/transinf.E93.D.1816
(A preliminary version was presented at WALCOM 2009.)
Mitsuo Motoki and Ryuhei Uehara:
Unique Solution Instance Generation for the 3-Satisfiability
(3SAT) Problem,
In SAT2000 edited by I. Gent, H. van Maaren, and
T. Walsh, pp.293-307, IOS Press, 2000.
See Research Report C-129, Dept. of Math. and
Computing Sciences, Tokyo Inst. of Tech., 1999.