Now showing items 1-8 of 8

  • A parametric approach for smaller and better encodings of cardinality constraints 

    Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric (Springer, 2013)
    Conference report
    Open Access
    Adequate encodings for high-level constraints are a key ingredient for the application of SAT technology. In particular, cardinality constraints state that at most (at least, or exactly) k out of n propositional variables ...
  • BDDs for Pseudo-Boolean Constraints 

    Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric (Springer Verlag, 2011)
    Conference report
    Restricted access - publisher's policy
    Pseudo-Boolean constraints are omnipresent in practical applications, and therefore a significant effort has been devoted to the development of good SAT encoding techniques for these constraints. Several of these encodings ...
  • Classification of plane germs: metric and valorative properties 

    Abío Roig, Ignasi (Universitat Politècnica de Catalunya, 2008-06)
    Master thesis (pre-Bologna period)
    Open Access
    In 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)
    Conference report
    Restricted access - publisher's policy
    Motivated 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)
    Doctoral thesis
  • The ultrametric space of plane branches 

    Abío Roig, Ignasi; Alberich Carramiñana, Maria; González Alonso, Víctor (2011)
    Article
    Restricted access - publisher's policy
    We 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)
    External research report
    Open Access
    We 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)
    Conference report
    Open Access
    Sophisticated 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 ...