-
Proving unsatisfiability for problems with constant cubic sparsityArtificial Intelligence 57 (1): 125-137. 1992.
Areas of Specialization
Philosophy of Artificial Intelligence |
Areas of Interest
6 more