Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1611.05190
Cited By
Driving CDCL Search
16 November 2016
Carmine Dodaro
Philip Gasteiger
Nicola Leone
Benjamin Musitsch
Francesco Ricca
Konstantin Schekotihin
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Driving CDCL Search"
1 / 1 papers shown
Title
Multi-shot ASP solving with clingo
Martin Gebser
Roland Kaminski
B. Kaufmann
Torsten Schaub
LRM
ReLM
109
250
0
27 May 2017
1
