( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tabu Search for SAT.

, , и . AAAI/IAAI, стр. 281-285. AAAI Press / The MIT Press, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Lakhdar Akroun

Siham Sais

Anne Saison

Victor Ricardo Enriquez Sais

 

Другие публикации лиц с тем же именем

On Maximal Frequent Itemsets Enumeration., , и . SoCPaR, том 737 из Advances in Intelligent Systems and Computing, стр. 151-160. Springer, (2017)Extracting MUCs from Constraint Networks., , , и . ECAI, том 141 из Frontiers in Artificial Intelligence and Applications, стр. 113-117. IOS Press, (2006)Tractable Cover Compilations., , , , и . IJCAI (1), стр. 122-127. Morgan Kaufmann, (1997)Représentations compactes des graphes et contraintes pseudo booléennes., , , и . EGC, том E-35 из RNTI, стр. 407-412. Éditions RNTI, (2019)A SAT-Based Framework for Overlapping Community Detection in Networks., , , и . PAKDD (2), том 10235 из Lecture Notes in Computer Science, стр. 786-798. (2017)Efficient SAT-Based Encodings of Conditional Cardinality Constraints., , , и . LPAR, том 57 из EPiC Series in Computing, стр. 181-195. EasyChair, (2018)Prime Implicates Based Inconsistency Characterization., , , и . ECAI, том 263 из Frontiers in Artificial Intelligence and Applications, стр. 1037-1038. IOS Press, (2014)Intensification Search in Modern SAT Solvers - (Poster Presentation)., , и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 491-492. Springer, (2012)Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency., и . ICTAI, стр. 91-98. IEEE Computer Society, (2009)Transposition Tables for Constraint Satisfaction., , , и . AAAI, стр. 243-248. AAAI Press, (2007)