Exploració per autor "Abío Roig, Ignasi"
Ara es mostren els items 3-8 de 8
-
Classification of plane germs: metric and valorative properties
Abío Roig, Ignasi (Universitat Politècnica de Catalunya, 2008-06)
Projecte/Treball Final de Carrera
Accés obertIn this memory we follow the geometric approach of Casas’ boof [1] for studying of the singularities of plane germs of curves, which updates Enriques’ works to modern standards and reviews the modern development of the ... -
Reducing chaos in SAT-like search: finding solutions close to a given one
Abío Roig, Ignasi; Deters, Morgan; Nieuwenhuis, Robert Lukas Mario; Stuckey, Peter (Springer Verlag, 2011)
Text en actes de congrés
Accés restringit per política de l'editorialMotivated by our own industrial users, we attack the following challenge that is crucial in many practical planning, scheduling or timetabling applications. Assume that a solver has found a solution for a given hard ... -
Solving hard industrial combinatorial problems with SAT
Abío Roig, Ignasi (Universitat Politècnica de Catalunya, 2013-05-15)
Tesi
Accés obertThe topic of this thesis is the development of SAT-based techniques and tools for solving industrial combinatorial problems. First, it describes the architecture of state-of-the-art SAT and SMT Solvers based on the classical ... -
The ultrametric space of plane branches
Abío Roig, Ignasi; Alberich Carramiñana, Maria; González Alonso, Víctor (2011)
Article
Accés restringit per política de l'editorialWe study properties of the space of irreducible germs of plane curves (branches), seen as an ultrametric space. We provide various geometrical methods to measure the distance between two branches and to compare distances ... -
The ultrametric space of plane branches
Abío Roig, Ignasi; Alberich Carramiñana, Maria; González Alonso, Víctor (2010-08)
Report de recerca
Accés obertWe study properties of the space of irreducible germs of plane curves (branches), seen as an ultrametric space. We provide various geometrical methods to measure the distance between two branches and to compare distances ... -
To encode or to propagate? The best choice for each constraint in SAT
Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Stuckey, Peter (Springer, 2013)
Text en actes de congrés
Accés obertSophisticated compact SAT encodings exist for many types of constraints. Alternatively, for instances with many (or large) constraints, the SAT solver can also be extended with built-in propagators (the SAT Modulo Theories ...