Graph explorer

Research map

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

Algebraic Model Counting
Map detail
Algebraic Model Counting5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipTopic signalAlgebraic Model CountingWAlgebraic Model Countingpreprint / 2012Angelika KimmigAAngelika KimmigResearcherGuy Van den BroeckAGuy Van den BroeckResearcherLuc De RaedtALuc De RaedtResearcherLogic in Computer ScienceTLogic in Computer Science2208 works
Paper4 links

Algebraic Model Counting

preprint / 2012