Results 131 to 134 of about 1,182 (134)
Some of the next articles are maybe not open access.
The inequality-satisfiability problem
Operations Research Letters, 2008Dorit S Hochbaum, Erick Moreno-Centeno
exaly
On the Counting Version of the Maximum 2-Satisfiability Problem
Mathematical NotesVladimir Popov, Popov V Yu
exaly
Local search for satisfiability (SAT) problem
IEEE Transactions on Systems, Man, and Cybernetics, 1993exaly