Printre problemele care folosesc ideile de mai sus se numără:
* 'Retele':problema/retele

* "Proving Equivalences":http://2008.nwerc.eu/problems/nwerc08-problemset.pdf

* 'Proving Equivalences':http://2008.nwerc.eu/problems/nwerc08-problemset.pdf, _NWERC 2008_

* 'Plan':problema/plan
* 'Plimbare':problema/plimbare

* "Synchrograph":http://acm.sgu.ru/problem.php?contest=0&problem=219

* 'Synchrograph':http://acm.sgu.ru/problem.php?contest=0&problem=219, _SGU_

* 'Obiective':problema/obiective

* {'Aplicaţii la $2-SAT$':2-sat#aplicatii}

* 'Dep':problema/dep, _ONI 2008, Baraj_
* {'Aplicaţii ale $2-SAT$':2-sat#aplicatii}

== include(page="template/taskfooter" task_id="ctc") ==

3511