"Three Truth Values for the SAT and MAX-SAT Problems."

Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao (2005)

Details and statistics

DOI:

access: open

type: Conference or Workshop Paper

metadata version: 2019-08-20