Francisco Palau Romero

According to our database, Francisco Palau Romero authored at least 2 papers in 2018.

Collaborative distances:

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

2018

Approximately Propagation Complete and Conflict Propagating Constraint Encodings.

Rüdiger Ehlers, Francisco Palau Romero

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Steady Abstractions for CPS Controller Synthesis.

Francisco Palau Romero, Rüdiger Ehlers

Proceedings of the 2018 Annual American Control Conference, 2018