13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 Proceedings
Lecture Notes in Computer Science > Field Programmable Logic and Application > SAT Techniques > 468-477
Lecture Notes in Computer Science > Field Programmable Logic and Application > SAT Techniques > 478-487
Lecture Notes in Computer Science > Field Programmable Logic and Application > SAT Techniques > 488-496