Filtry
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Více filtrů
Výsledky výzkumu
Classes of Boolean Formulae with Effectively Solvable SAT
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Between Path-Consistency and Higher Order Consistencies in Boolean Satisfiability
JD - Využití počítačů, robotika a její aplikace
- 2011 •
- O
Rok uplatnění
O - Ostatní výsledky
An Adaptation of Path Consistency for Boolean Satisfiability: a Theoretical View of the Concept
JD - Využití počítačů, robotika a její aplikace
- 2010 •
- O
Rok uplatnění
O - Ostatní výsledky
An Adaptation of Path Consistency for Boolean Satisfiability
JD - Využití počítačů, robotika a její aplikace
- 2010 •
- O
Rok uplatnění
O - Ostatní výsledky
Railway Scheduling Using Boolean Satisfiability Modulo Simulations
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
SAT Modulo Differential Equation Simulations
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Properties of SLUR Formulae
IN - Informatika
- 2012 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Some classes of Boolean formulae with polynomial time satisfiability testing.
BA - Obecná matematika
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
SAT Competition 2018
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jost •
- Odkaz
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
A Synthesis of Reversible Digital Circuits to Solve the Boolean Satisfiability
Electrical and electronic engineering
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 z 454