| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Lazy Model Expansion by Incremental Grounding | De Cat, Broes et al. | 2012 |
| 2 | Constraints in Non-Boolean Contexts | De Koninck, Leslie et al. | 2011 |
| 3 | Branch-and-Price Solving in G12 | Puchinger, Jakob et al. | 2009 |
| Number of result pages: | 1 |
| Number of documents: | 3 |
