Adrià Lozano

According to our database, Adrià Lozano authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Decision levels are stable: towards better SAT heuristics.

Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras, Enric Rodríguez-Carbonell

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020