From post

On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability.

, , , и . IBERAMIA, том 7637 из Lecture Notes in Computer Science, стр. 381-391. Springer, (2012)

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.

 

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

An Investigation on Genetic Algorithms for Generic STRIPS Planning., , , , и . IBERAMIA, том 3315 из Lecture Notes in Computer Science, стр. 185-194. Springer, (2004)Interval Differential Evolution Using Structural Information of Global Optimization Problems., , и . EPIA (1), том 11804 из Lecture Notes in Computer Science, стр. 724-736. Springer, (2019)Non-exhaustive Join Ordering Search Algorithms for LJQO., , , , и . ICEIS (1), стр. 151-156. SciTePress, (2011)Fast GPU parallel N-Body tree traversal with Simulated Wide-Warp., , и . ICPADS, стр. 718-725. IEEE Computer Society, (2014)A Systematic Literature Mapping of Artificial Intelligence Planning in Software Testing., , , и . ICSOFT, стр. 152-159. ScitePress, (2020)SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem., и . BRACIS, стр. 192-197. IEEE Computer Society, (2014)PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation., , , , и . BRACIS, стр. 201-206. IEEE Computer Society, (2013)Parallel Implementations of Gusfield's Cut Tree Algorithm., , , , , и . ICA3PP (1), том 7016 из Lecture Notes in Computer Science, стр. 258-269. Springer, (2011)The Planning Net: Exploring the Petri Net Flow to Improve Planning Solvers., , , и . IBERAMIA, том 7637 из Lecture Notes in Computer Science, стр. 581-590. Springer, (2012)On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability., , , и . IBERAMIA, том 7637 из Lecture Notes in Computer Science, стр. 381-391. Springer, (2012)