Pablo F. Castro

Identifiers

• name variant Pablo F. Castro 0.60 · backfill

Papers (4)

1. Satisfiability for Knowing How over Linear Plans is NP-complete cs.LO · 2026 · author #4
2. Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming cs.LO · 2026 · author #1
3. An Algebraic Approach for Action Based Default Reasoning cs.LO · 2019 · author #1
4. Measuring Masking Fault-Tolerance cs.LO · 2018 · author #1

Mentions

• 2605.19819 #4 · arxiv_oai · confidence 0.70 Pablo F. Castro

Frequent Coauthors

• Carlos Areces 2 shared papers
• Raul Fervari 2 shared papers
• Valentin Cassano 2 shared papers
• Luciano Putruele 1 shared papers
• Pablo Barcel\'o 1 shared papers
• Pedro R. D'Argenio 1 shared papers
• Ramiro Demasi 1 shared papers
• St\'ephane Demri 1 shared papers