"Improved Upper Bounds for 3-SAT"

Kazuo Iwama, Suguru Tamaki (2003)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2022-09-28