Graph explorer

Research map

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

Driving CDCL Search
Map detail
Driving CDCL Search8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipTopic signalAuthorshipAuthorshipDriving CDCL SearchWDriving CDCL Searchpreprint / 2016Carmine DodaroACarmine DodaroResearcherPhilip GasteigerAPhilip GasteigerResearcherNicola LeoneANicola LeoneResearcherBenjamin MusitschABenjamin MusitschResearcherArtificial IntelligenceTArtificial Intelligence22915 worksFrancesco RiccaAFrancesco RiccaResearcherKonstantin SchekotihinAKonstantin SchekotihinResearcher
Paper7 links

Driving CDCL Search

preprint / 2016