Giunchiglia, Enrico. <br/><br/>
SAT 2005  Satisfiability Research in the Year 2005 /  [electronic resource] : 
edited by Enrico Giunchiglia, Toby Walsh. 
 - 1a ed. 
 - Dordrecht :  Springer,  2006. 
 -  v.: digital 
<br/><br/><label>ISBN: </label>9781402055713 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Cálculo proporcional--Congresos<br/>Toma de decisiones-- Congresos<br/>Algoritmos computacionales --Congresos
<br/><br/><label>LC Class. No.: </label>QA76.9.A43  / G58 2006