When Ternary Triangulated Disc Packings Are Densest: Examples, Counter-Examples and Techniques.

Thomas Fernique Daria Pchelina

Published in: SoCG (2023)

Keyphrases

counter examples
machine learning
logic programs
data sets
optimal solution
training examples
model checking
answer sets