Author of the publication

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.

 

Other publications of authors with the same name

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