The following pages link to Florent R. Madelaine (Q941342):
Displayed 21 items.
- Improved upper and lower bounds on the feedback vertex numbers of grids and butterflies (Q941343) (← links)
- (Q1884912) (redirect page) (← links)
- Dichotomies for classes of homomorphism problems involving unary functions (Q1884913) (← links)
- Complexity of conjunctive regular path query homomorphisms (Q2179353) (← links)
- Constraint Satisfaction with Counting Quantifiers (Q2907506) (← links)
- The Complexity of Positive First-Order Logic without Equality (Q2946653) (← links)
- On the Complexity of the Model Checking Problem (Q3176188) (← links)
- Quantified Constraints and Containment Problems (Q3196340) (← links)
- Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems (Q3434691) (← links)
- Universal Structures and the Logic of Forbidden Patterns (Q3613358) (← links)
- Universal Structures and the logic of Forbidden Patterns (Q3636812) (← links)
- QCSP on Partially Reflexive Cycles – The Wavy Line of Tractability (Q4928496) (← links)
- A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP (Q4957913) (← links)
- (Q5005107) (← links)
- A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP (Q5145282) (← links)
- Constraint Satisfaction with Counting Quantifiers (Q5256528) (← links)
- Hierarchies in Fragments of Monadic Strict NP (Q5425356) (← links)
- Constraint Satisfaction, Logic and Forbidden Patterns (Q5454246) (← links)
- (Q5463349) (← links)
- Logical Approaches to Computational Barriers (Q5898832) (← links)
- On guarded extensions of MMSNP (Q6149045) (← links)