Login / Signup
Miguel Rodríguez
ORCID
Publication Activity (10 Years)
Years Active: 2010-2020
Publications (10 Years): 2
Top Topics
Undirected Graph
Computational Efficiency
Np Hard
Efficient Computation
Top Venues
MCPR
LANMR
</>
Publications
</>
Guillermo De Ita
,
Miguel Rodríguez
,
Pedro Bello
,
Meliza Contreras
Basic Pattern Graphs for the Efficient Computation of Its Number of Independent Sets.
MCPR
(2020)
Guillermo De Ita
,
Pedro Bello
,
Miguel Rodríguez
The computation of #2SAT by a fixed-parameter tractable algorithm.
LANMR
(2018)
Meliza Contreras
,
Miguel Rodríguez
,
Pedro Bello
,
Bárbara M. González
An Introduction to Belief Revision and Knowledge Representation with 2CNF.
LA-NMR
(2011)
Darnes Vilariño Ayala
,
Carlos Balderas Posada
,
David Eduardo Pinto Avendaño
,
Miguel Rodríguez
,
Saúl León Silverio
FCC: Modeling Probabilities with GIZA++ for Task 2 and 3 of SemEval-2.
SemEval@ACL
(2010)