Edit Profile (opens in new tab) Baddaoui, Badran Co-Author Distance Author ID: baddaoui.badran Published as: Baddaoui, Badran Documents Indexed: 1 Publication since 2018 Co-Authors: 3 Co-Authors with 1 Joint Publication 37 Co-Co-Authors Co-Authors 0 single-authored 1 Boudane, Abdelhamid 1 Jabbour, Said 1 Saïs, Lakhdar Serials Fields 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Efficient SAT-based encodings of conditional cardinality constraints. Zbl 1415.68185 Boudane, Abdelhamid; Jabbour, Said; Baddaoui, Badran; Sais, Lakhdar 1 2018 Efficient SAT-based encodings of conditional cardinality constraints. Zbl 1415.68185 Boudane, Abdelhamid; Jabbour, Said; Baddaoui, Badran; Sais, Lakhdar 1 2018 Cited by 2 Authors 1 Sanner, Scott 1 Say, Buser Cited in 1 Serial 1 Artificial Intelligence Cited in 1 Field 1 Computer science (68-XX) Citations by Year