dr_domi/udlbook
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Created using Colab

Browse Source
This commit is contained in:
udlbook
2025-05-16 15:39:03 -04:00
parent 7eadd56eaa
commit ad1b6a558b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Trees/SAT_Construction2_Answers.ipynb
View File

@@ -4,7 +4,7 @@
"metadata": { "metadata": {
"colab": { "colab": {
"provenance": [], "provenance": [],
"authorship_tag": "ABX9TyNVGP04pippHj/aR+N+9Vyv", "authorship_tag": "ABX9TyMTKKBKDWLLdEGY6POpEgt/",
"include_colab_link": true "include_colab_link": true
}, },
"kernelspec": { "kernelspec": {
@@ -38,7 +38,7 @@
{ {
"cell_type": "markdown", "cell_type": "markdown",
"source": [ "source": [
"# SAT Constructions\n", "# SAT Constructions 2\n",
"\n", "\n",
"The purpose of this Python notebook is to investigate the SAT construction that tests if a graph is connected.\n", "The purpose of this Python notebook is to investigate the SAT construction that tests if a graph is connected.\n",
"\n", "\n",