Raouf Dridi

According to our database1, Raouf Dridi authored at least 17 papers between 2007 and 2023.

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

2023
Grover Speedup from Many Forms of the Zeno Effect.
CoRR, 2023

2020
QCI Qbsolv Delivers Strong Classical Performance for Quantum-Ready Formulation.
CoRR, 2020

Constrained-optimization Approach Delivers Superior Classical Performance for Graph Partitioning via Quantum-ready Method.
Proceedings of the 2020 IEEE High Performance Extreme Computing Conference, 2020

Integer Programming Techniques for Minor-Embedding in Quantum Annealers.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019
The Topology of Mutated Driver Pathways.
CoRR, 2019

GAMA: A Novel Algorithm for Non-Convex Integer Programs.
CoRR, 2019

Minimizing polynomial functions on quantum computers.
CoRR, 2019

Graver Bases via Quantum Annealing with Application to Non-Linear Integer Programs.
CoRR, 2019

2018
A Novel Algebraic Geometry Compiling Framework for Adiabatic Quantum Computations.
CoRR, 2018

2016
Prime factorization using quantum annealing and computational algebraic geometry.
CoRR, 2016

2015
Homology Computation of Large Point Clouds using Quantum Annealing.
CoRR, 2015

2012
New solutions for ordinary differential equations.
J. Symb. Comput., 2012

2010
Maple code for the calculation of the matrix elements of the Boltzmann collision operators for mixtures.
Comput. Phys. Commun., 2010

2009
Élie Cartan's geometrical vision or how to avoid expression swell.
J. Symb. Comput., 2009

New classification techniques for ordinary differential equations.
J. Symb. Comput., 2009

2007
Utilisation de la méthode d'équivalence de Cartan dans la construction d'un solveur d'équations différentielles. (Utilization of Cartan's equivalence method in the construction of an ODE solver).
PhD thesis, 2007

Towards a new ode solver based on cartan's equivalence method.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007


  Loading...