Systematic and local search algorithms for regular-sat

Tesis doctoral de Ramon Bejar Torres Regular-sat es el problema de decidir la satisfactibilidad de una clase de fórmulas proposicionales […]

, , , , ,