CadiBack: Extracting Backbones with CaDiCaL.

Armin Biere Nils Froleyks Wenxi Wang

Published in: SAT (2023)

Keyphrases

automatically extracted
three dimensional
information retrieval
pattern recognition
data analysis
preprocessing
automatic extraction
minimum spanning tree