Bibliographic Citation
| - Habet Djamal, Li Chu Min, Brisoux Devendeville Laure, Vasquez Michel. A Hybrid Approach for SAT. CP 2002 : principles and practice of constraint programming, 2002, Ithaca NY, United States. pp.172-184
- Habet Djamal, Li Chu Min, Brisoux Devendeville Laure, Vasquez Michel . A Hybrid Approach for SAT . CP 2002 : principles and practice of constraint programming, Sep 2002, Ithaca NY, United States . pp.172-184, ⟨10.1007/3-540-46135-3_12⟩
- Habet Djamal, Li Chu Min, Brisoux Devendeville Laure, Vasquez Michel. A Hybrid Approach for SAT. CP 2002 : principles and practice of constraint programming, Sep 2002, Ithaca NY, United States. pp.172-184, ⟨10.1007/3-540-46135-3_12⟩
|