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

A backbone-search heuristic for efficient solving of hard 3-SAT formulae., and . IJCAI, page 248-253. Morgan Kaufmann, (2001)Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design., , and . IbPRIA (2), volume 4478 of Lecture Notes in Computer Science, page 404-411. Springer, (2007)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)Using Boolean Constraint Propagation for Sub-clauses Deduction., , , , , and . CP, volume 3709 of Lecture Notes in Computer Science, page 757-761. Springer, (2005)A SAT-based approach for index calculus on binary elliptic curves., , and . IACR Cryptology ePrint Archive, (2019)Logical Reasoning to Detect Weaknesses About SHA-1 and MD4/5., , and . IACR Cryptology ePrint Archive, (2014)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)