Questions tagged [conjunctive-normal-form]

For questions about boolean formulas in a conjunctive normal form (CNF), i.e. a disjunction (ANDs) of literals, in the context of artificial intelligence.

Filter by
Sorted by
Tagged with
2
votes
0answers
81 views

How to translate sudoku XV boards in CNF format?

I'm trying to implement the logic for a Sudoku XV puzzle, that it's essentially a standard sudoku with the addition of X and V markers between some pairs of squares. X markers in adjacent pairs ...