Cristina Borralleras

According to our database, Cristina Borralleras authored at least 14 papers between 2000 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A Spanning Tree-Based SAT Encoding for Reachability in Undirected Graphs.

Miquel Bofill, Cristina Borralleras, Joan Espasa, Mateu Villaret

Proceedings of the 56th IEEE International Symposium on Multiple-Valued Logic, 2026

2023

A Good Snowman is Hard to Plan.

Miquel Bofill, Cristina Borralleras, Joan Espasa, Gerard Martín, Gustavo Patow, Mateu Villaret

CoRR, 2023

On Grid Graph Reachability and Puzzle Games.

Miquel Bofill, Cristina Borralleras, Joan Espasa, Mateu Villaret

CoRR, 2023

2019

Resource Analysis driven by (Conditional) Termination Proofs.

Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio

Theory Pract. Log. Program., 2019

Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers.

Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio

ACM Trans. Comput. Log., 2019

2017

Proving Termination Through Conditional Termination.

Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2013

The recursive path and polynomial ordering for first-order and higher-order terms.

Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio

J. Log. Comput., 2013

2012

SAT Modulo Linear Arithmetic for Solving Polynomial Constraints.

Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio

J. Autom. Reason., 2012

2009

Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.

Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Automated Deduction, 2009

2007

Orderings and Constraints: Theory and Practice of Proving Termination.

Cristina Borralleras, Albert Rubio

Proceedings of the Rewriting, 2007

2003

Monotonic AC-Compatible Semantic Path Orderings.

Cristina Borralleras, Albert Rubio

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

Recursive Path Orderings Can Be Context-Sensitive.

Cristina Borralleras, Salvador Lucas, Albert Rubio

Proceedings of the Automated Deduction, 2002

2001

A Monotonic Higher-Order Semantic Path Ordering.

Cristina Borralleras, Albert Rubio

Proceedings of the Logic for Programming, 2001

2000

Complete Monotonic Semantic Path Orderings.

Cristina Borralleras, Maria Ferreira, Albert Rubio

Proceedings of the Automated Deduction, 2000