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

Frdric Lardeux, Frdric Saubion, Jin-Kao Hao

Browse the full IJCAI paper archive.