Loading...
The system can't perform the operation now. Try again later.
Citations per year
Duplicate citations
The following articles are merged in Scholar. Their
combined citations
are counted only for the first article.
Merged citations
This "Cited by" count includes citations to the following articles in Scholar. The ones marked
*
may be different from the article in the profile.
Add co-authors
Co-authors
Follow
New articles by this author
New citations to this author
New articles related to this author's research
Email address for updates
Done
My profile
My library
Metrics
Alerts
Settings
Sign in
Sign in
Get my own profile
Cited by
View all
All
Since 2019
Citations
18
4
h-index
3
2
i10-index
0
0
0
10
5
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2
1
1
9
1
2
1
Co-authors
Bruno César Ribas
UnB-FGA
Verified email at unb.br
Marcos Castilho
DInf/UFPR
Verified email at ufpr.br
Follow
Ricardo Oliveira
Universidade Tecnológica Federal do Paraná
Verified email at utfpr.edu.br
Artifial Intelligence
Satisfabiality and related problems
Encodings
Algorithms
Articles
Cited by
Co-authors
Title
Sort
Sort by citations
Sort by year
Sort by title
Cited by
Cited by
Year
Sat and maxsat encodings for trees applied to the steiner tree problem
RT de Oliveira, F Silva
2014 Brazilian Conference on Intelligent Systems, 192-197
, 2014
7
2014
On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability
RT de Oliveira, F Silva, BC Ribas, MA Castilho
Advances in Artificial Intelligence–IBERAMIA 2012, 381-391
, 2012
5
*
2012
On a relative MaxSAT encoding for the steiner tree problem in graphs
RT de Oliveira, F Silva
Advances in Artificial Intelligence and Its Applications: 14th Mexican …
, 2015
3
2015
Reduções de problemas em grafos com soluções conexas para (MAX) SAT e adaptação de um resolvedor SAT e MAXSAT não clausal para as instâncias obtidas
RT Oliveira
3
2013
Arco consistência generalizada em codificações SAT relativas
RT Oliveira
The system can't perform the operation now. Try again later.
Articles 1–5
Show more
Privacy
Terms
Help
About Scholar
Search help