( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining Adaptive and Dynamic Local Search for Satisfiability.

, , , и . 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.

Pham Duy Nghia

Hoang-Duc-Nghia

Nguyen Duc Nghia

Duc-Dang Nghia

Nghia Duc Dang

 

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

Benchmarking NLP Toolkits for Enterprise Application., , , и . PRICAI (3), том 11672 из Lecture Notes in Computer Science, стр. 289-294. Springer, (2019)Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice., , , , , и . BMC Bioinform., 14 (S-2): S16 (2013)Real-time Text Stream Processing: A Dynamic and Distributed NLP Pipeline., и . ISEEIE, стр. 575-584. ACM, (2021)A Method to Avoid Duplicative Flipping in Local Search for SAT., , и . Australasian Conference on Artificial Intelligence, том 7691 из Lecture Notes in Computer Science, стр. 218-229. Springer, (2012)Trap escape for local search by backtracking and conflict reverse., , , , и . SCAI, том 257 из Frontiers in Artificial Intelligence and Applications, стр. 85-94. IOS Press, (2013)SAT-Based Parallel Planning Using a Split Representation of Actions., , , и . ICAPS, AAAI, (2009)Modelling and solving temporal reasoning as propositional satisfiability., , и . Artif. Intell., 172 (15): 1752-1782 (2008)Partial Weighted MaxSAT for Optimal Planning., , , и . PRICAI, том 6230 из Lecture Notes in Computer Science, стр. 231-243. Springer, (2010)A Study of Local Minimum Avoidance Heuristics for SAT., , и . ECAI, том 242 из Frontiers in Artificial Intelligence and Applications, стр. 300-305. IOS Press, (2012)Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks., , , , и . CP, том 8124 из Lecture Notes in Computer Science, стр. 832-847. Springer, (2013)