( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Advances in Local Search for Satisfiability.

, , , и . Australian Conference on Artificial Intelligence, том 4830 из Lecture Notes in Computer Science, стр. 213-222. Springer, (2007)

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.

Pham Duy Nghia

Nguyen Duc Nghia

Hoang-Duc-Nghia

Duc-Dang Nghia

Nghia Duc Dang

 

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

Neighbourhood Clause Weight Redistribution in Local Search for SAT., , , и . CP, том 3709 из Lecture Notes in Computer Science, стр. 772-776. Springer, (2005)Advances in Local Search for Satisfiability., , , и . Australian Conference on Artificial Intelligence, том 4830 из Lecture Notes in Computer Science, стр. 213-222. Springer, (2007)Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability., , , и . IJCAI, стр. 524-530. IJCAI/AAAI, (2013)Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution., , и . Australasian Conference on Artificial Intelligence, том 8272 из Lecture Notes in Computer Science, стр. 166-177. Springer, (2013)Trap Avoidance in Local Search Using Pseudo-Conflict Learning., , и . AAAI, стр. 542-548. AAAI Press, (2012)A Compact and Efficient SAT Encoding for Planning., , , и . ICAPS, стр. 296-303. AAAI, (2008)A Hybrid Local Search for Simplified Protein Structure Prediction., , , и . BIOINFORMATICS, стр. 158-163. SciTePress, (2013)Towards an Efficient SAT Encoding for Temporal Reasoning., , и . CP, том 4204 из Lecture Notes in Computer Science, стр. 421-436. Springer, (2006)A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints., , , и . Australian Joint Conference on Artificial Intelligence, том 2557 из Lecture Notes in Computer Science, стр. 603-614. Springer, (2002)Using Cost Distributions to Guide Weight Decay in Local Search for SAT., и . PRICAI, том 5351 из Lecture Notes in Computer Science, стр. 405-416. Springer, (2008)