Um modelo de regulação florestal e suas implicações na formulação e solução de problemas com restrições de recobrimento