Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas.

Edgar Altamirano, Gonzalo Escalada-Imaz

Browse the full ECSQARU paper archive.