<--- Back to Details
First PageDocument Content
University of Burgos / Social enterprise / Social economy / Province of Valladolid / University of Valladolid / Valladolid / Socialism / Provinces of Spain / Spain / Geography of Spain / Castile / Castile and León
Date: 2011-04-12 05:05:28
University of Burgos
Social enterprise
Social economy
Province of Valladolid
University of Valladolid
Valladolid
Socialism
Provinces of Spain
Spain
Geography of Spain
Castile
Castile and León

Add to Reading List

Source URL: www.seconferenceciriec.es

Download Document from Source Website

File Size: 3,11 MB

Share Document on Facebook

Similar Documents

Mathematics / Algebra / Theoretical computer science / Modular arithmetic / Logic in computer science / Congruence relation / Equivalence / Closure / Rewriting / Congruence lattice problem / Congruence subgroup

Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl

DocID: 1xVT4 - View Document

Signal processing / Electrical engineering / Electromagnetism / Electronics / Spectrum analyzer / Sensor node / DVB-T / Sampling / Bandwidth / Modulation / Bin-centres / Orthogonal frequency-division multiplexing

Measuring Spectrum Similarity in Distributed Radio Monitoring Systems Roberto Calvo-Palomino1,2 , Domenico Giustiniano1 and Vincent Lenders3 1 IMDEA Networks Institute, Madrid, Spain,

DocID: 1xVSm - View Document

Theoretical computer science / Computational complexity theory / Mathematical logic / Constraint programming / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / Satisfiability modulo theories / Maximum satisfiability problem / Local consistency

Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions⋆ Daniel Larraz, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio Universitat Polit`ecnica de Catalunya, Barcelona, Spain

DocID: 1xVFd - View Document

Europe / Genealogy / Cultural promotion organizations / Goethe-Institut / Johann Wolfgang von Goethe / Violeta / Spain / Valencia /  Carabobo

Violeta Garín Project Coordinator Spain Website: www.artport-project.org Violeta Garín works as Lead Communications Strategist. She develops internal and external communications plans to support fast growing companies

DocID: 1xVn7 - View Document

Mathematics / Theoretical computer science / Automated theorem proving / Algebra / Logic in computer science / Algebraic structures / Semiring / Boolean satisfiability problem / DPLL algorithm / Unit propagation / Maximum satisfiability problem / Resolution

Semiring-Induced Propositional Logic: Definition and Basic Algorithms ∗ † Javier Larrosa, Albert Oliveras and Enric Rodr´ıguez-Carbonell Technical University of Catalonia Barcelona, Spain larrosa,oliveras,erodri@ls

DocID: 1xUWe - View Document