%0 Thesis %1 phd/hal/Cherif22 %A Cherif, Mohamed Sami %D 2022 %K dblp %T Reasoning and Inference for (Maximum) Satisfiability: New Insights. (Raisonnement et Inférence pour la satisfiabilité (Maximum)).

@phdthesis{phd/hal/Cherif22, added-at = {2023-06-17T00:00:00.000+0200}, author = {Cherif, Mohamed Sami}, biburl = {https://www.bibsonomy.org/bibtex/203afa334159021c16e426cf83474ac8f/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-04088137}, interhash = {c9053d0c4ab940a2b68b07a8daa762c9}, intrahash = {03afa334159021c16e426cf83474ac8f}, keywords = {dblp}, school = {Aix-Marseille University, France}, timestamp = {2024-04-09T09:04:29.000+0200}, title = {Reasoning and Inference for (Maximum) Satisfiability: New Insights. (Raisonnement et Inférence pour la satisfiabilité (Maximum)).}, year = 2022 }