Empirical Study on SAT-Encodings of the At-Most-One Constraint.
Van-Hau NguyenVan-Quyet NguyenKyungbaek KimPedro BarahonaPublished in: SMA (2020)
Keyphrases
- empirical studies
- sat encodings
- linear arithmetic constraints
- real world data sets
- linear programming
- uci datasets
- empirical analysis
- sat solvers
- linear constraints
- solving problems
- constraint satisfaction problems
- objective function
- genetic algorithm
- combinatorial problems
- constraint programming
- cellular automata
- search algorithm