An efficient algorithm for the 3-satisfiability problem
Abstract
An efficient algorithm for the 3-satisfiability problem
Laboratoire CEDRIC : Connect in order to contact the contributor
https://hal.science/hal-01124507
Submitted on : Friday, March 6, 2015-10:37:35 AM
Last modification on : Friday, August 5, 2022-2:54:00 PM