Uéverton S. Souza

Orcid: 0000-0002-5320-9209

Affiliations:
  • Fluminense Federal University, Brazil


According to our database1, Uéverton S. Souza authored at least 108 papers between 2012 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
On conflict-free cuts: Algorithms and complexity.
Inf. Process. Lett., 2025

2024
Parameterized Complexity Classes Defined by Threshold Circuits and Their Connection with Sorting Networks.
Int. J. Found. Comput. Sci., September, 2024

An improved hybrid genetic search with data mining for the CVRP.
Networks, June, 2024

Linear-time algorithms for eliminating claws in graphs.
Int. Trans. Oper. Res., January, 2024

Recognizing well-dominated graphs is coNP-complete.
Inf. Process. Lett., January, 2024

Effectiveness of the MineReduce approach in reducing the size of combinatorial optimization problem instances.
RAIRO Oper. Res., 2024

On the Complexity of the Median and Closest Permutation Problems.
Proceedings of the 24th International Workshop on Algorithms in Bioinformatics, 2024

Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof.
Proceedings of the 2024 Symposium on Simplicity in Algorithms, 2024

Simple and tight complexity lower bounds for solving Rabin games.
Proceedings of the 2024 Symposium on Simplicity in Algorithms, 2024

Decoding Tree Decompositions from Permutations.
Proceedings of the LATIN 2024: Theoretical Informatics, 2024

Induced Tree Covering and the Generalized Yutsis Property.
Proceedings of the LATIN 2024: Theoretical Informatics, 2024

2023
Partitioning P4-tidy graphs into a stable set and a forest.
Discret. Appl. Math., October, 2023

A biased random-key genetic algorithm for the chordal completion problem.
RAIRO Oper. Res., May, 2023

Metaheuristic techniques for the capacitated facility location problem with customer incompatibilities.
Soft Comput., 2023

Using adaptive memory in GRASP to find minimum conflict-free spanning trees.
Soft Comput., 2023

Reducing the vertex cover number via edge contractions.
J. Comput. Syst. Sci., 2023

On the computational difficulty of the terminal connection problem.
RAIRO Theor. Informatics Appl., 2023

Helly and strong Helly numbers of B<sub>k</sub>-EPG and B<sub>k</sub>-VPG graphs.
Discuss. Math. Graph Theory, 2023

Partitions and well-coveredness: The graph sandwich problem.
Discret. Math., 2023

Proving a Directed Analogue of the Gyárfás-Sumner Conjecture for Orientations of $P_4$.
Electron. J. Comb., 2023

A tight quasi-polynomial bound for Global Label Min-Cut.
Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

Exact and Parameterized Algorithms for the Independent Cutset Problem.
Proceedings of the Fundamentals of Computation Theory - 24th International Symposium, 2023

Twin-Treewidth: A Single-Exponential Logic-Based Approach.
Proceedings of the Combinatorial Optimization and Applications, 2023

Near-Bipartiteness, Connected Near-Bipartiteness, Independent Feedback Vertex Set and Acyclic Vertex Cover on Graphs Having Small Dominating Sets.
Proceedings of the Combinatorial Optimization and Applications, 2023

2022
Computing the best-case energy complexity of satisfying assignments in monotone circuits.
Theor. Comput. Sci., 2022

On the probe problem for (<i>r</i>, <i>ℓ</i>)-well-coveredness: Algorithms and complexity.
Theor. Comput. Sci., 2022

On knot-free vertex deletion: Fine-grained parameterized complexity analysis of a deadlock resolution graph problem.
Theor. Comput. Sci., 2022

Finding the Maximum Multi Improvement on neighborhood exploration.
Optim. Lett., 2022

On the parameterized complexity of Grid Contraction.
J. Comput. Syst. Sci., 2022

A general framework for path convexities.
J. Comb. Optim., 2022

Compositions, decompositions, and conformability for total coloring on power of cycle graphs.
Discret. Appl. Math., 2022

Computing the zig-zag number of directed graphs.
Discret. Appl. Math., 2022

P3-convexity on graphs with diameter two: Computing hull and interval numbers.
Discret. Appl. Math., 2022

Proving a directed analogue of the Gyárfás-Sumner conjecture for orientations of P<sub>4</sub>.
CoRR, 2022

A note on independent sets in sparse-dense graphs.
CoRR, 2022

On the computational complexity of the bipartizing matching problem.
Ann. Oper. Res., 2022

On the Minimum Cycle Cover Problem on Graphs with Bounded Co-degeneracy.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2022

Perfect Matching Cuts Partitioning a Graph into Complementary Subgraphs.
Proceedings of the Combinatorial Algorithms - 33rd International Workshop, 2022

Taming Graphs with No Large Creatures and Skinny Ladders.
Proceedings of the 30th Annual European Symposium on Algorithms, 2022

On Conflict-Free Spanning Tree: Algorithms and Complexity.
Proceedings of the Algorithms and Discrete Applied Mathematics, 2022

MineReduce-Based Metaheuristic for the Minimum Latency Problem.
Proceedings of the Metaheuristics - 14th International Conference, 2022

2021
Succinct certification of monotone circuits.
Theor. Comput. Sci., 2021

Designing screen layout in multimedia applications through integer programming and metaheuristic.
RAIRO Oper. Res., 2021

On undirected two-commodity integral flow, disjoint paths and strict terminal connection problems.
Networks, 2021

Reducing graph transversals via edge contractions.
J. Comput. Syst. Sci., 2021

On the complexity of coloring -graphs.
Int. Trans. Oper. Res., 2021

Remarks on k-Clique, k-Independent Set and 2-Contamination in Complementary Prisms.
Int. J. Found. Comput. Sci., 2021

Hitting forbidden induced subgraphs on bounded treewidth graphs.
Inf. Comput., 2021

Partitioning a Graph into Complementary Subgraphs.
Graphs Comb., 2021

Computing the Largest Bond and the Maximum Connected Cut of a Graph.
Algorithmica, 2021

On the Terminal Connection Problem.
Proceedings of the SOFSEM 2021: Theory and Practice of Computer Science, 2021

Co-Degeneracy and Co-Treewidth: Using the Complement to Solve Dense Instances.
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

On the Probe Problem for (r, ℓ )-Well-Coveredness.
Proceedings of the Computing and Combinatorics - 27th International Conference, 2021

Parameterized Complexity Classes Defined by Threshold Circuits: Using Sorting Networks to Show Collapses with W-hierarchy Classes.
Proceedings of the Combinatorial Optimization and Applications, 2021

Energy Complexity of Satisfying Assignments in Monotone Circuits: On the Complexity of Computing the Best Case.
Proceedings of the Algorithmic Aspects in Information and Management, 2021

2020
A multivariate analysis of the strict terminal connection problem.
J. Comput. Syst. Sci., 2020

The Complexity of Helly-B<sub>1</sub> EPG Graph Recognition.
Discret. Math. Theor. Comput. Sci., 2020

Maximum cuts in edge-colored graphs.
Discret. Appl. Math., 2020

Graph Sandwich Problem for the Property of Being Well-Covered and Partitionable into k Independent Sets and ℓ Cliques.
Proceedings of the LATIN 2020: Theoretical Informatics, 2020

Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity.
Proceedings of the Computing and Combinatorics - 26th International Conference, 2020

2019
Deadlock resolution in wait-for graphs by vertex/arc deletion.
J. Comb. Optim., 2019

Even-power of Cycles With Many Vertices are Type 1 Total Colorable.
Proceedings of the tenth Latin and American Algorithms, Graphs and Optimization Symposium, 2019

<i>P</i><sub>3</sub>-Hull Number of Graphs with Diameter Two.
Proceedings of the tenth Latin and American Algorithms, Graphs and Optimization Symposium, 2019

FPT algorithms to recognize well covered graphs.
Discret. Math. Theor. Comput. Sci., 2019

Relating Verification and Validation Methods to Software Product Quality Characteristics: Results of an Expert Survey.
Proceedings of the Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud, 2019

An Efficient Algorithm for Combining Verification and Validation Methods.
Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

Computing the Largest Bond of a Graph.
Proceedings of the 14th International Symposium on Parameterized and Exact Computation, 2019

Width Parameterizations for Knot-Free Vertex Deletion on Digraphs.
Proceedings of the 14th International Symposium on Parameterized and Exact Computation, 2019

Locality Sensitive Algotrithms for Data Mule Routing Problem.
Proceedings of the Algorithmic Aspects in Information and Management, 2019

2018
On the (parameterized) complexity of recognizing well-covered (<i>r</i>, <i>ℓ</i>)-graph.
Theor. Comput. Sci., 2018

Graphs in which some and every maximum matching is uniquely restricted.
J. Graph Theory, 2018

An efficient similarity-based approach for comparing XML documents.
Inf. Syst., 2018

On the hardness of finding the geodetic number of a subcubic graph.
Inf. Process. Lett., 2018

General Variable Neighborhood Search for the Data Mule Scheduling Problem.
Electron. Notes Discret. Math., 2018

Decycling a graph by the removal of a matching: new algorithmic and structural aspects in some classes of graphs.
Discret. Math. Theor. Comput. Sci., 2018

Algorithms, kernels and lower bounds for the Flood-It game parameterized by the vertex cover number.
Discret. Appl. Math., 2018

FPT algorithms to recognize well covered graphs.
CoRR, 2018

And/or-convexity: a graph convexity based on processes and deadlock models.
Ann. Oper. Res., 2018

Fine-Grained Parameterized Complexity Analysis of Knot-Free Vertex Deletion - A Deadlock Resolution Graph Problem.
Proceedings of the Computing and Combinatorics - 24th International Conference, 2018

Bipartizing with a Matching.
Proceedings of the Combinatorial Optimization and Applications, 2018

A Survey on the Complexity of Flood-Filling Games.
Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018

2017
Corrigendum to "Complexity analysis of P<sub>3</sub>-convexity problems on bounded-degree and planar graphs" [Theoret. Comput. Sci. 607 Part 1 (2015) 83-95].
Theor. Comput. Sci., 2017

Generalized threshold processes on graphs.
Theor. Comput. Sci., 2017

Complexity properties of complementary prisms.
J. Comb. Optim., 2017

Decycling with a matching.
Inf. Process. Lett., 2017

Simple Undirected Two-Commodity Integral Flow with a Unitary Demand.
Electron. Notes Discret. Math., 2017

Tractability, hardness, and kernelization lower bound for and/or graph solution.
Discret. Appl. Math., 2017

Eliminating Odd Cycles by Removing a Matching.
CoRR, 2017

Decycling a Graph by the Removal of a Matching: Characterizations for Special Classes.
CoRR, 2017

Deletion Graph Problems Based on Deadlock Resolution.
Proceedings of the Computing and Combinatorics - 23rd International Conference, 2017

2016
Extremal values and bounds for the zero forcing number.
Discret. Appl. Math., 2016

Deadlock models in distributed computation: foundations, design, and computational complexity.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

On the (Parameterized) Complexity of Recognizing Well-Covered (r, l)-graphs.
Proceedings of the Combinatorial Optimization and Applications, 2016

2015
Complexity analysis of P<sub>3</sub>-convexity problems on bounded-degree and planar graphs.
Theor. Comput. Sci., 2015

Tractability and hardness of flood-filling games on trees.
Theor. Comput. Sci., 2015

Maximum induced matchings close to maximum matchings.
Theor. Comput. Sci., 2015

The Flood-It game parameterized by the vertex cover number.
Electron. Notes Discret. Math., 2015

On Graphs with Induced Matching Number Almost Equal to Matching Number.
Electron. Notes Discret. Math., 2015

Amê: an environment to learn and analyze adversarial search algorithms using stochastic card games.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Complexity of Geodetic Number Problem in Graphs with Maximum Degree 4.
Proceedings of the 13th Cologne Twente Workshop on Graphs and Combinatorial Optimization, 2015

On Hamiltonian Cycles in Kneser Graphs.
Proceedings of the 13th Cologne Twente Workshop on Graphs and Combinatorial Optimization, 2015

The P3-Convexity in the Complementary Prism of a Graph.
Proceedings of the 13th Cologne Twente Workshop on Graphs and Combinatorial Optimization, 2015

2014
An algorithmic analysis of Flood-it and Free-Flood-it on graph powers.
Discret. Math. Theor. Comput. Sci., 2014

On P 3-Convexity of Graphs with Bounded Degree.
Proceedings of the Algorithmic Aspects in Information and Management, 2014

2013
Revisiting the complexity of and/or graph solution.
J. Comput. Syst. Sci., 2013

Parameterized and/or graph solution.
Proceedings of the 12th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2013

Parameterized Complexity of Flood-Filling Games on Trees.
Proceedings of the Computing and Combinatorics, 19th International Conference, 2013

2012
Optimal Variability Selection in Product Line Engineering.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012


  Loading...