Felix Ulrich-Oltean – Publications — York Research Database

Emailfelix.ulrich-olteanyork.acuk

3 Conference contribution
1 Article

1 results

Filter

2023

Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
Ulrich-Oltean, F., Nightingale, P. & Walker, J. A., 2 Nov 2023, (E-pub ahead of print) In: Journal of Constraints. 30 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File