The following pages link to Enric Rodríguez-Carbonell (Q438575):
Displaying 6 items.
- SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
- Cardinality networks: a theoretical and empirical study (Q538318) (← links)
- Automatic generation of polynomial invariants of bounded degree using abstract interpretation (Q859956) (← links)
- Hard problems in max-algebra, control theory, hypergraphs and other areas (Q990130) (← links)
- Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra (Q1003740) (← links)
- Static Analysis (Q5466567) (← links)
