c sudoku exprimé sous forme clausale c proposition ijk : ligne i, colonne j, valeur k c p cnf 444 245 c grille d'entrée 132 0 221 0 243 0 414 0 423 0 c au moins un chiffre par case 111 112 113 114 0 211 212 213 214 0 311 312 313 314 0 411 412 413 414 0 121 122 123 124 0 221 222 223 224 0 321 322 323 324 0 421 422 423 424 0 131 132 133 134 0 231 232 233 234 0 331 332 333 334 0 431 432 433 434 0 141 142 143 144 0 241 242 243 244 0 341 342 343 344 0 441 442 443 444 0 c au plus un chiffre par colonne c chiffre 1, colonne 1 -111 -211 0 -111 -311 0 -111 -411 0 -211 -311 0 -211 -411 0 -311 -411 0 c chiffre 2, colonne 1 -112 -212 0 -112 -312 0 -112 -412 0 -212 -312 0 -212 -412 0 -312 -412 0 c chiffre 3, colonne 1 -113 -213 0 -113 -313 0 -113 -413 0 -213 -313 0 -213 -413 0 -313 -413 0 c chiffre 4, colonne 1 -114 -214 0 -114 -314 0 -114 -414 0 -214 -314 0 -214 -414 0 -314 -414 0 c chiffre 1, colonne 2 -121 -221 0 -121 -321 0 -121 -421 0 -221 -321 0 -221 -421 0 -321 -421 0 c chiffre 2, colonne 2 -122 -222 0 -122 -322 0 -122 -422 0 -222 -322 0 -222 -422 0 -322 -422 0 c chiffre 3, colonne 2 -123 -223 0 -123 -323 0 -123 -423 0 -223 -323 0 -223 -423 0 -323 -423 0 c chiffre 4, colonne 2 -124 -224 0 -124 -324 0 -124 -424 0 -224 -324 0 -224 -424 0 -324 -424 0 c chiffre 1, colonne 3 -131 -231 0 -131 -331 0 -131 -431 0 -231 -331 0 -231 -431 0 -331 -431 0 c chiffre 2, colonne 3 -132 -232 0 -132 -332 0 -132 -432 0 -232 -332 0 -232 -432 0 -332 -432 0 c chiffre 3, colonne 3 -133 -233 0 -133 -333 0 -133 -433 0 -233 -333 0 -233 -433 0 -333 -433 0 c chiffre 4, colonne 3 -134 -234 0 -134 -334 0 -134 -434 0 -234 -334 0 -234 -434 0 -334 -434 0 c chiffre 1, colonne 4 -141 -241 0 -141 -341 0 -141 -441 0 -241 -341 0 -241 -441 0 -341 -441 0 c chiffre 2, colonne 4 -142 -242 0 -142 -342 0 -142 -442 0 -242 -342 0 -242 -442 0 -342 -442 0 c chiffre 3, colonne 4 -143 -243 0 -143 -343 0 -143 -443 0 -243 -343 0 -243 -443 0 -343 -443 0 c chiffre 4, colonne 4 -144 -244 0 -144 -344 0 -144 -444 0 -244 -344 0 -244 -444 0 -344 -444 0 c au plus un chiffre par ligne c chiffre 1, ligne 1 -111 -121 0 -111 -131 0 -111 -141 0 -121 -131 0 -121 -141 0 -131 -141 0 c chiffre 2, ligne 1 -112 -122 0 -112 -132 0 -112 -142 0 -122 -132 0 -122 -142 0 -132 -142 0 c chiffre 3, ligne 1 -113 -123 0 -113 -133 0 -113 -143 0 -123 -133 0 -123 -143 0 -133 -143 0 c chiffre 4, ligne 1 -114 -124 0 -114 -134 0 -114 -144 0 -124 -134 0 -124 -144 0 -134 -144 0 c chiffre 1, ligne 2 -211 -221 0 -211 -231 0 -211 -241 0 -221 -231 0 -221 -241 0 -231 -241 0 c chiffre 2, ligne 2 -212 -222 0 -212 -232 0 -212 -242 0 -222 -232 0 -222 -242 0 -232 -242 0 c chiffre 3, ligne 2 -213 -223 0 -213 -233 0 -213 -243 0 -223 -233 0 -223 -243 0 -233 -243 0 c chiffre 4, ligne 2 -214 -224 0 -214 -234 0 -214 -244 0 -224 -234 0 -224 -244 0 -234 -244 0 c chiffre 1, ligne 3 -311 -321 0 -311 -331 0 -311 -341 0 -321 -331 0 -321 -341 0 -331 -341 0 c chiffre 2, ligne 3 -312 -322 0 -312 -332 0 -312 -342 0 -322 -332 0 -322 -342 0 -332 -342 0 c chiffre 3, ligne 3 -313 -323 0 -313 -333 0 -313 -343 0 -323 -333 0 -323 -343 0 -333 -343 0 c chiffre 4, ligne 3 -314 -324 0 -314 -334 0 -314 -344 0 -324 -334 0 -324 -344 0 -334 -344 0 c chiffre 1, ligne 4 -411 -421 0 -411 -431 0 -411 -441 0 -421 -431 0 -421 -441 0 -431 -441 0 c chiffre 2, ligne 4 -412 -422 0 -412 -432 0 -412 -442 0 -422 -432 0 -422 -442 0 -432 -442 0 c chiffre 3, ligne 4 -413 -423 0 -413 -433 0 -413 -443 0 -423 -433 0 -423 -443 0 -433 -443 0 c chiffre 4, ligne 4 -414 -424 0 -414 -434 0 -414 -444 0 -424 -434 0 -424 -444 0 -434 -444 0 c au plus un chiffre par block c chiffre 1, block 1-2 x 1-2 -111 -221 0 -121 -211 0 c chiffre 2, block 1-2 x 1-2 -112 -222 0 -122 -212 0 c chiffre 3, block 1-2 x 1-2 -113 -223 0 -123 -213 0 c chiffre 4, block 1-2 x 1-2 -114 -224 0 -124 -214 0 c chiffre 1, block 1-2 x 3-4 -131 -241 0 -141 -231 0 c chiffre 2, block 1-2 x 3-4 -132 -242 0 -142 -232 0 c chiffre 3, block 1-2 x 3-4 -133 -243 0 -143 -233 0 c chiffre 4, block 1-2 x 3-4 -134 -244 0 -144 -234 0 c chiffre 1, block 3-4 x 1-2 -311 -421 0 -321 -411 0 c chiffre 2, block 3-4 x 1-2 -312 -422 0 -322 -412 0 c chiffre 3, block 3-4 x 1-2 -313 -423 0 -323 -413 0 c chiffre 4, block 3-4 x 1-2 -314 -424 0 -324 -414 0 c chiffre 1, block 3-4 x 3-4 -331 -441 0 -341 -431 0 c chiffre 2, block 3-4 x 3-4 -332 -442 0 -342 -432 0 c chiffre 3, block 3-4 x 3-4 -333 -443 0 -343 -433 0 c chiffre 4, block 3-4 x 3-4 -334 -444 0 -344 -434 0