University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "Bordeaux, Lucas"

DSpace Repository

Browsing LERO - Project partner authors by Author "Bordeaux, Lucas"

Sort by: Order: Results:

  • Bordeaux, Lucas; Marques-Silva, Joao (Springer, 2012)
    When we encode constraints as Boolean formulas, a natural question is whether the encoding ensures a ”propagation completeness” property: is the basic unit propagation mechanism able to deduce all the literals that ...

Search ULIR


Browse

My Account

Statistics