notxia/unibo-ai-notes
1
0
Fork 0
mirror of https://github.com/NotXia/unibo-ai-notes.git synced 2025-12-15 19:12:22 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix indentation <noupdate>

Browse Source
This commit is contained in:
Tian Cheng (Riccardo) Xia
2024-06-03 22:42:04 +02:00
parent d915f2c40a
commit 9ed085ede5
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/year1/combinatorial-decision-making-and-optimization/module1/sections/_sat.tex
View File

@ -281,6 +281,7 @@ DPLL with two improvements:
\begin{remark} \begin{remark}
Any cut that separates sources (decision literals) and the sink (contradiction node) is a valid conflict clause for backjumping. Any cut that separates sources (decision literals) and the sink (contradiction node) is a valid conflict clause for backjumping.
\indenttbox
\begin{example} \phantom{} \begin{example} \phantom{}
\begin{center} \begin{center}
\includegraphics[width=0.55\linewidth]{./img/_cdcl_cut.pdf} \includegraphics[width=0.55\linewidth]{./img/_cdcl_cut.pdf}