1
Quando utilizzare Soddisfazione per vincoli vs SAT?
Se ho un problema difficile, un approccio standard è quello di esprimerlo come istanza SAT e provare a eseguire un solutore SAT su di esso. Un altro approccio standard è quello di esprimerlo come un problema di soddisfazione dei vincoli e provare a utilizzare un risolutore CSP. I due si …