Author of the publication

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)

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

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)Non-exhaustive Join Ordering Search Algorithms for LJQO., , , , and . ICEIS (1), page 151-156. SciTePress, (2011)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)A Tool For Software Requirement Allocation Using Artificial Intelligence Planning., , , , and . RE, page 257-258. IEEE, (2022)Simulated competitions to aid tactical skill acquisition., , , , and . WSC, page 3588-3599. IEEE, (2013)