On Non-clausal Horn-like Satisfiability Problems
On Non-clausal Horn-like Satisfiability Problems
Edgar
Edgar
 
Altamirano
Altamirano
 (
)
On Non-clausal Horn-like Satisfiability Problems
On Non-clausal Horn-like Satisfiability Problems
 

An industrial PhD

Advisors: 

Ana María Martinez, Gonzalo E. Imaz

Ana María Martinez, Gonzalo E. Imaz

University: 

Abstract: