Author of the publication

Using Boolean Constraint Propagation for Sub-clauses Deduction.

, , , , , and . CP, volume 3709 of Lecture Notes in Computer Science, page 757-761. Springer, (2005)

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

Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design., , and . IbPRIA (2), volume 4478 of Lecture Notes in Computer Science, page 404-411. Springer, (2007)A backbone-search heuristic for efficient solving of hard 3-SAT formulae., and . IJCAI, page 248-253. Morgan Kaufmann, (2001)PRE as a Service within Smart Grid City., , and . ICETE (2), page 394-401. SciTePress, (2019)Deep Learning to Predict Hospitalization at Triage: Integration of Structured Data and Unstructured Text., , , and . IEEE BigData, page 4836-4841. IEEE, (2020)NLP-Based Approach to Detect Autism Spectrum Disorder in Saccadic Eye Movement., , , , and . SSCI, page 1581-1587. IEEE, (2020)NLP-Based Prediction of Medical Specialties at Hospital Admission Using Triage Notes., , , and . ICHI, page 548-553. IEEE, (2021)High Performance CGM-based Parallel Algorithms for the Optimal Binary Search Tree Problem., , and . Int. J. Grid High Perform. Comput., 8 (4): 55-77 (2016)Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5., , and . IACR Cryptology ePrint Archive, (2014)A SAT-based approach for index calculus on binary elliptic curves., , and . IACR Cryptology ePrint Archive, (2019)Optimizing Privacy and Data Utility: Metrics and Strategies., , and . Trans. Data Priv., 16 (3): 153-189 (September 2023)