Gerador aleatório de problemas no formato padrão cnf, com N átomos e M cláusulas, e as cláusulas todas possuem K-literais. K, N e M são parâmetros a serem passados ao gerador.

Project Activity

See All Activity >

Follow Gerador de fórmulas CNF

Gerador de fórmulas CNF Web Site

Other Useful Business Software
Earn up to 16% annual interest with Nexo. Icon
Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Gerador de fórmulas CNF!

Additional Project Details

Registered

2010-07-10
Report inappropriate content