Concepedia

Cristina Borralleras

CB

1

Publications

45

Citations

1

H-Index

2010

Active since

Affiliations

Universitat Politècnica de València(Current)

Cristina Borralleras is an author at Universitat Politècnica de València specializing in discrete mathematics, engineering, and computational complexity.

ORCID

Top concepts

Publications per year

2010–2010

1

Publications

1

SAT Modulo Linear Arithmetic for Solving Polynomial Constraints

Cristina Borralleras, Salvador Lucas, Albert Oliveras et al. · Journal of Automated Reasoning · 2010 · 45 citations · Full text

, , +4

Rows per page

1–1 of 1