Extending SMT Solving with Non-Ground Clause Learning

Novo cálculo para SMT aprende cláusulas não-ground durante análise de conflitos, buscando provas mais gerais que abordagens puramente ground.

Sociedade

Ler na fonte