Philip C. Jackson Jr.

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992

1 Philip C. Jackson Jr.: Proving Unsatisfiability for Problems with Constant Cubic Sparsity. Artif. Intell. 57(1): 125-137 (1992)