boomer
boomer copied to clipboard
Boomer: How to deal with huge cliques?
This issue is just so I can link to some discussion while I make other tickets. The question is what boomer should do when faced with an enormous clique:
- Ignore it and spit the clique out for people to break it
- Try to break by applying some trivial heuristics (fast ones, like bulk dropping low probability axioms)
- Anything else come to mind?
I would like boomer to at least try 2, but its hard to do this in a principled manner. Maybe you have a better idea @balhoff?