Commit c5a71dc0 authored by FAGES Francois's avatar FAGES Francois
Browse files

M7 clean

parent 3d2475a5
......@@ -138,13 +138,6 @@
"outputs": [],
"source": []
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"## Question ) Any idea to decide unsatisfiability ? statistical test question ?"
]
},
{
"cell_type": "code",
"execution_count": null,
......@@ -178,20 +171,6 @@
"outputs": [],
"source": []
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"## Question ) Evaluation on 2-SAT and Horn-SAT ?"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {},
"outputs": [],
"source": []
},
{
"cell_type": "code",
"execution_count": null,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment