Incremental Variable Splitting.
Christian Mahesh Hansen, Martin Giese, Arild Waaler, Roger Antonsen
VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/HansenGWA11 ↗
Browse the full TABLEAUX paper archive.