( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem.

, , , и . AAAI, стр. 1338-1346. AAAI Press, (2018)

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.

Manya Brunzema

Sônia Felipe

Manya Brunzema

Esther Ndjeka Manya

Aron Manyak

 

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

Solving Combinatorial Problems with Regular Local Search Algorithms., и . LPAR, том 1705 из Lecture Notes in Computer Science, стр. 33-43. Springer, (1999)Improved Exact Solvers for Weighted Max-SAT., , и . SAT, том 3569 из Lecture Notes in Computer Science, стр. 371-377. Springer, (2005)Capturing Structure with Satisfiability., , , , и . CP, том 2239 из Lecture Notes in Computer Science, стр. 137-152. Springer, (2001)Extending the Reach of SAT with Many-Valued Logics., , , , и . Electron. Notes Discret. Math., (2001)White Paper on Artificial Intelligence, Robotics and Data Science, , , , , , , , , и 1 other автор(ы). (2021)Solving MaxSAT with Natural Deduction., , и . CCIA, том 300 из Frontiers in Artificial Intelligence and Applications, стр. 186-195. IOS Press, (2017)Measuring the Hardness of SAT Instances., , , и . AAAI, стр. 222-228. AAAI Press, (2008)Clause vivification by unit propagation in CDCL SAT solvers., , , , , и . Artif. Intell., (2020)An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers., , , , и . IJCAI, стр. 703-711. ijcai.org, (2017)Experimenting with the Instances of the MaxSAT Evaluation., , , и . CCIA, том 232 из Frontiers in Artificial Intelligence and Applications, стр. 31-40. IOS Press, (2011)