Graph explorer

Research map

Explore the papers, people and topics connected to your research.

ILP Modulo Theories
Map detail
ILP Modulo Theories4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipTopic signalILP Modulo TheoriesWILP Modulo Theoriespreprint / 2013Panagiotis ManoliosAPanagiotis ManoliosResearcherVasilis PapavasileiouAVasilis PapavasileiouResearcherLogic in Computer ScienceTLogic in Computer Science2208 works
Paper3 links

ILP Modulo Theories

preprint / 2013