Skip to top bar
Skip to header
Skip to application menu
Skip to content
Skip to footer
CS
>
Files
>
Study Materials
>
Study materials posted under the course FI:
IA085
>
Learning Materials
>
Lectures
FI:IA085 Satisfiability and Automated Reasoning
Files
Documents
Official notice board
Study Materials
More
Files
Documents
Official notice board
Study Materials
Name
Posted by
Uploaded/Created
Rights
Lectures
lectures
/9
Jonáš, M.
22/2/2024
Folders
Files
01.pdf
01.txt
Lecture 01: Introduction to Propositional Satisfiability
01.pdf
Jonáš, M.
1/3/2024
02.pdf
02.txt
Lecture 02: Classical Satisfiability Algorithms
02.pdf
Jonáš, M.
19/3/2024
03.pdf
03.txt
Lecture 03: Conflict-Driven Clause Learning
03.pdf
Jonáš, M.
19/3/2024
04.pdf
04.txt
Lecture 04: Advanced Features of SAT Solvers
04.pdf
Jonáš, M.
14/3/2024
05.pdf
05.txt
Lecture 05: Introduction to First-Order Satisfiability
05.pdf
Jonáš, M.
21/3/2024
06.pdf
06.txt
Lecture 06: Algorithms for Satisfiability Modulo Theories
06.pdf
Jonáš, M.
29/3/2024
07.pdf
07.txt
Lecture 07: Selected Algorithms for Theory Solvers
07.pdf
Jonáš, M.
6/4/2024
08.pdf
08.txt
Lecture 08: Combination of Theories
08.pdf
Jonáš, M.
30/4/2024
09.pdf
09.txt
Lecture 09: Introduction to Automated Theorem Proving
09.pdf
Jonáš, M.
5/5/2024
go to course IA085 Satisfiability and Automated Reasoning
Co je jinak
přidání souboru
Soubor nebo složku lze nahrát pomocí tlačítka
Přidat
.
Co je jinak
další operace se soubory
Podrobnosti lze zjistit označením příslušného
řádku
.
Co je jinak
pohled pro experty
Pro častou práci je možné zvolit režim
Více možností
.
Co je nové
vyhledávání souborů
Vyhledávaný výraz můžete zadat přímo do
adresního řádku
.
Co je nové
rychlý přístup k souborům
Pomocí funkce
Nedávné
je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit
Hvězdičkou
.
Co se chystá
Připravujeme další vylepšení pro
mobilní zařízení
.
×
×