"On Selecting a Satisfying Truth Assignment (Extended Abstract)"

Christos H. Papadimitriou (1991)

Details and statistics

DOI: 10.1109/SFCS.1991.185365

access: closed

type: Conference or Workshop Paper

metadata version: 2023-03-23