Author of the publication

Generalized Hypertree Decomposition for solving non binary CSP with compressed table constraints.

, , and . RAIRO Oper. Res., 50 (2): 241-267 (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check., and . PPAM, volume 4967 of Lecture Notes in Computer Science, page 249-258. Springer, (2007)Parallel Resolution of the Satisfiability Problem (SAT) with OpenMP and MPI., and . PPAM, volume 3911 of Lecture Notes in Computer Science, page 380-388. Springer, (2005)Genetic algorithms for scheduling in a CPU/FPGA architecture with heterogeneous communication delays., , , , and . Comput. Ind. Eng., (2019)Toolman.. login Usenix Mag., (2000)Automated interpretation of eye-hand coordination in mobile eye tracking recordings - Identifying demanding phases in human-machine interactions., , , and . Künstliche Intell., 31 (4): 331-337 (2017)Automated Interpretation of Eye-Hand Coordination in Mobile Eye Tracking Recordings, , , and . KI -- Künstliche Intelligenz, 31 (4): 331--337 (November 2017)A comparison of two metaheuristic algorithms for scheduling problem on a heterogeneous CPU/FPGA architecture with communication delays., , , , and . CoDIT, page 294-299. IEEE, (2017)Linearly ordered semigroups for fuzzy set theory.. Ann. Math. Artif. Intell., 49 (1-4): 207-220 (2007)Information Dynamics Across Sub-Networks: Germs, Genes, and Memes., , , and . AAAI Fall Symposium: Complex Adaptive Systems, volume FS-11-03 of AAAI Technical Report, AAAI, (2011)National trends in antiarrhythmic and antithrombotic medication use in atrial fibrillation, , , and . Archives of internal medicine, 164 (1): 55--60 (2004)