We stand with Ukraine  

Mahfuza Farooque

Affiliations:
  • École Polytechnique, Palaiseau, France


According to our database1, Mahfuza Farooque authored at least 10 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
NeuroDual: A Hybrid SAT Solver Combining Graph Attention Networks with Algorithmic Techniques.
[BibTeX]
[DOI]
Mahfuza Farooque
,
Matthew Walter
,
Aaron Falk
Proceedings of the International Symposium on Networks, Computers and Communications, 2024

Recommendation Tool for Alleviating Depression and Suicidal Tendencies Through Healthier Social Media Use.
[BibTeX]
[DOI]
Travis Scott Hughes
,
Bhavika Jain
,
Mahfuza Farooque
Proceedings of the International Conference on Machine Learning and Applications, 2024

2015
Axiomatic Constraint Systems for Proof Search Modulo Theories.
[BibTeX]
[DOI]
Damien Rouhling
,
Mahfuza Farooque
,
Stéphane Graham-Lengrand
,
Assia Mahboubi
,
Jean-Marc Notin
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014
Axiomatisation of constraint systems to specify a tableaux calculus modulo theories.
[BibTeX]
[DOI]
Damien Rouhling
,
Mahfuza Farooque
,
Stéphane Graham-Lengrand
,
Assia Mahboubi
,
Jean-Marc Notin
CoRR, 2014

2013
Automated Reasoning Techniques as Proof-search in Sequent Calculus. (Techniques de déduction automatique vues comme recherche de preuve en calcul des séquents).
[BibTeX]
[DOI]
Mahfuza Farooque
PhD thesis, 2013

Sequent Calculi with procedure calls
[BibTeX]
[DOI]
Mahfuza Farooque
,
Stéphane Graham-Lengrand
CoRR, 2013

A bisimulation between DPLL(<i>T</i>) and a proof-search strategy for the focused sequent calculus.
[BibTeX]
[DOI]
Mahfuza Farooque
,
Stéphane Graham-Lengrand
,
Assia Mahboubi
Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013

2012
Two simulations about DPLL(T)
[BibTeX]
[DOI]
Mahfuza Farooque
,
Stéphane Lengrand
,
Assia Mahboubi
CoRR, 2012

A sequent calculus with procedure calls
[BibTeX]
[DOI]
Mahfuza Farooque
,
Stéphane Lengrand
CoRR, 2012

2009
Easy Fuzzy Tool for Emotion Recognition - Prototype from Voice Speech Analysis.
[BibTeX]
Mahfuza Farooque
,
Susana Muñoz-Hernández
Proceedings of the IJCCI 2009, 2009


  Loading...