Reciprocal payers identification in banking logs using SAT solvers.
Sandro SkansiBranimir DropuljicPublished in: MIPRO (2016)
Keyphrases
- sat solvers
- orders of magnitude
- constraint satisfaction
- propositional satisfiability
- boolean satisfiability
- max sat
- sat problem
- search tree
- sat solving
- search space
- sat instances
- clause learning
- search strategies
- weighted max sat
- constraint satisfaction problems
- symmetry breaking
- boolean formula
- special case
- objective function