Exploració per autor "Abío Roig, Ignasi"
Ara es mostren els items 4-8 de 8
-
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 ...