Frédéric Lardeux

University of Angers , 2 Bd Lavoisier , F-49045 Angers Cedex 01

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

Future Conferences

AI Journal Division

IJCAI Proceedings