( en | de | ru )

 

Disambiguation of "Pham, Duc Nghia"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Adaptive and Dynamic Local Search for Satisfiability.

, , , and . J. Satisf. Boolean Model. Comput., 4 (2-4): 149-172 (2008)

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.

Pham Duy Nghia

Nguyen Duc Nghia

Hoang-Duc-Nghia

Duc-Dang Nghia

Nghia Duc Dang

 

Other publications of authors with the same name

Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice., , , , , and . BMC Bioinform., 14 (S-2): S16 (2013)Benchmarking NLP Toolkits for Enterprise Application., , , and . PRICAI (3), volume 11672 of Lecture Notes in Computer Science, page 289-294. Springer, (2019)Real-time Text Stream Processing: A Dynamic and Distributed NLP Pipeline., and . ISEEIE, page 575-584. ACM, (2021)A Method to Avoid Duplicative Flipping in Local Search for SAT., , and . Australasian Conference on Artificial Intelligence, volume 7691 of Lecture Notes in Computer Science, page 218-229. Springer, (2012)Trap escape for local search by backtracking and conflict reverse., , , , and . SCAI, volume 257 of Frontiers in Artificial Intelligence and Applications, page 85-94. IOS Press, (2013)The road not taken: retreat and diverge in local search for simplified protein structure prediction., , , , and . BMC Bioinform., 14 (S-2): S19 (2013)A Hybrid Local Search for Simplified Protein Structure Prediction., , , and . CoRR, (2013)Using Cost Distributions to Guide Weight Decay in Local Search for SAT., and . PRICAI, volume 5351 of Lecture Notes in Computer Science, page 405-416. Springer, (2008)Towards an Efficient SAT Encoding for Temporal Reasoning., , and . CP, volume 4204 of Lecture Notes in Computer Science, page 421-436. Springer, (2006)A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints., , , and . Australian Joint Conference on Artificial Intelligence, volume 2557 of Lecture Notes in Computer Science, page 603-614. Springer, (2002)