Výsledky vyhledávání
- 1.0465189 - MÚ 2017 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
de Oliveira Oliveira, Mateus
Satisfiability via smooth pictures.
Theory and Applications of Satisfiability Testing – SAT 2016. Cham: Springer, 2016 - (Creignou, N.; Le Berre, D.), s. 13-28. Lecture Notes in Computer Science, 9710. ISBN 978-3-319-40969-6. ISSN 0302-9743.
[19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016). Bordeaux (FR), 05.07.2016-08.07.2016]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: smooth pictures * bounded frege proof systems * pigeonhole principle
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007/978-3-319-40970-2_2
Trvalý link: http://hdl.handle.net/11104/0263852Název souboru Staženo Velikost Komentář Verze Přístup deOliveiraOliveira5.pdf 1 394.8 KB Vydavatelský postprint vyžádat - 2.0353751 - MÚ 2011 RIV US eng J - Článek v odborném periodiku
Krajíček, Jan
A form of feasible interpolation for constant depth Frege systems.
Journal of Symbolic Logic. Roč. 75, č. 2 (2010), s. 774-784. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA100190902; GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: feasible interpolation * Frege proof systems * lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.584, rok: 2010
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Trvalý link: http://hdl.handle.net/11104/0192907Název souboru Staženo Velikost Komentář Verze Přístup Krajicek2.pdf 1 134.5 KB Vydavatelský postprint vyžádat