Report copyright - Lógica Proposicional SAT e Custo Computacional. Conjuntos FOR: conjunto das fórmulas SAT: conjunto das fórmulas satisfazíveis INSAT: conjunto das fórmulas
Please pass captcha verification before submit form
Please pass captcha verification before submit form