Concepedia

Filipe Casal

FC

Statistics

Publications

2

Citations

28

H-Index

2

Active since

2017

Affiliations

Fundação para a Ciência e Tecnologia(Current)

Filipe Casal is an author at Fundação para a Ciência e Tecnologia specializing in mathematics, integer programming, and theory of computation.

ORCID

Publications per year

2017–2017

2

Publications

2

Many-Sorted Equivalence of Shiny and Strongly Polite Theories

Filipe Casal, João Rasga · Journal of Automated Reasoning · 2017 · 17 citations

, , +5

Generalized Probabilistic Satisfiability

Carlos Caleiro, Filipe Casal, Andreia Mordido · Electronic Notes in Theoretical Computer Science · 2017 · 11 citations · Full text

, , +12

1–2 of 2