Items where authors include "Ulrich-Oltean, Felix"

Export as [feed] Atom [feed] RSS
Number of items: 2.


Bofill, Miquel, Coll, Jordi, Nightingale, Peter et al. (3 more authors) (2022) SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artificial Intelligence. 103604. ISSN 0004-3702

Proceedings Paper

Ulrich-Oltean, Felix, Nightingale, Peter and Walker, James Alfred (2022) Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. In: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). UNSPECIFIED. Leibniz International Proceedings in Informatics (LIPIcs) . LIPICS .

This list was generated on Sun Jan 22 08:18:14 2023 GMT.