|
| ||||
|
| ||||
|
|
Design and Implementation of Exact MAX-SAT Solvers Publication year: 2008 Language: English The Propositional Satisfiability Problem (SAT) is the problem of determining whether a truth assignment satisfies a CNF formula. Nowadays, many hard combinatorial problems such as practical verificati... Free eBook Available in the catalog: 07/31/2014 |
Historia de la filosofía antigua Edition: Carlos García Gual Publication year: 1997 Language: spanish Not available... Available in the catalog: 05/31/2013 |
Theatrum Pompei: forma y arquitectura de la génesis del modelo teatral de Roma Publication year: 2010 Language: Spanish The Pompeian theatre on the Campus Martius was always, in architectural, urban, social and symbolic terms, much more than just a venue for plays. From the architectural point of view, it is an absolut... Available in the catalog: 04/18/2011 |
Clara Janés : la poética cuántica o la física de la poesía Publication year: 2021 Language: Spanish Review in English not available.... Available in the catalog: 05/17/2021 |
La Real Expedición Filantrópica de la Vacuna: doscientos años de lucha contra la viruela Edition: Susana Ramírez; Luis Valenciano; Rafael Nájera; Luis Enjuanes Publication year: 2004 Language: Spanish Not available... Free eBook Available in the catalog: 04/23/2012 |
Fauna Ibérica. Vol. 34. Nematoda Rhabditida Joaquín Abolafia Cobaleda; Pablo Guerrero Rodríguez; Reyes Peña Santiago Publication year: 2011 Language: Spanish Review in English not available.... Available in the catalog: 11/23/2017 |