External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability

Ricardo Tavares de Oliveira, Fabiano Silva, Bruno Cesar Ribas, Marcos A. Castilho. On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability. In Juan Pavón, Néstor D. Duque-Méndez, Rubén Fuentes-Fernández, editors, Advances in Artificial Intelligence - IBERAMIA 2012 - 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012. Proceedings. Volume 7637 of Lecture Notes in Computer Science, pages 381-391, Springer, 2012. [doi]

Authors

Ricardo Tavares de Oliveira

This author has not been identified. Look up 'Ricardo Tavares de Oliveira' in Google

Fabiano Silva

This author has not been identified. Look up 'Fabiano Silva' in Google

Bruno Cesar Ribas

This author has not been identified. Look up 'Bruno Cesar Ribas' in Google

Marcos A. Castilho

This author has not been identified. Look up 'Marcos A. Castilho' in Google
runs on