Marcel Rémon

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 2

Top Topics

Stochastic Local Search

Propositional Satisfiability

Top Venues

Publications

Marcel Rémon, Johan Barthélemy
Hard 3-CNF-SAT problems are in P - A first step in proving NP=P. CoRR (2020)
Marcel Rémon, Johan Barthélemy
A 3-CNF-SAT descriptor algebra and the solution of the P=NP conjecture. CoRR (2016)