Proceedings

Frédéric Lardeux

1 paper in the IJCAI proceedings

IJCAI 2005

Three Truth Values for the SAT and MAX-SAT Problems
with Frédéric Saubion, Jin-Kao Hao
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards