Besonderhede van voorbeeld: 4927261433880494781

English

(b) The map-coloring CSP expressed as a single definite clause.

Spanish

(b) El PSR del coloreado del mapa como una sola cláusula positiva.