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-04-03 16:48:48 -04:00
parent 7648203767
commit eb29a28284
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Trees/SAT_Construction_Answers.ipynb
View File

@@ -4,7 +4,7 @@
"metadata": {
"colab": {
"provenance": [],
"authorship_tag": "ABX9TyPLe8YcIZiEqqIljGaiTGMy",
"authorship_tag": "ABX9TyPyoipv7uhZXom6dIv+sZ0Z",
"include_colab_link": true
},
"kernelspec": {
@@ -40,7 +40,7 @@
"source": [
"# SAT Constructions\n",
"\n",
"The purpose of this Python notebook is to use investigate SAT constructions that\n",
"The purpose of this Python notebook is to use investigate SAT constructions that impose constraints on sets of variables. We'll build constructions for ensuring all of the variables are the same, that only one of the variables is true, that at leats $K$ of the variables are true, that fewer than $K$ of the variables are true and that exactly $K$ of the variables are true.\n",
"\n",
"You can save a local copy of this notebook in your Google account and work through it in Colab (recommended) or you can download the notebook and run it locally using Jupyter notebook or similar.\n",
"\n",