Solving single-digit sudoku subproblems
FUN'12 Proceedings of the 6th international conference on Fun with Algorithms
Hi-index | 0.00 |
A number of compact representation forms that are investigated in the knowledge compilation community are utilized in interactive product configuration and other forms of decision support. Multi-valued decision diagrams (MDDs) are particulary well suited ...