Zobrazeno 1 - 10
of 20
pro vyhledávání: '"YOLCU, Emre"'
Autor:
Buss, Sam, Yolcu, Emre
Regular resolution is a refinement of the resolution proof system requiring that no variable be resolved on more than once along any path in the proof. It is known that there exist sequences of formulas that require exponential-size proofs in regular
Externí odkaz:
http://arxiv.org/abs/2402.15871
Autor:
Yolcu, Emre
We study propositional proof systems with inference rules that formalize restricted versions of the ability to make assumptions that hold without loss of generality, commonly used informally to shorten proofs. Each system we study is built on resolut
Externí odkaz:
http://arxiv.org/abs/2401.11266
Autor:
Yolcu, Emre, Heule, Marijn J. H.
We study the complexity of proof systems augmenting resolution with inference rules that allow, given a formula $\Gamma$ in conjunctive normal form, deriving clauses that are not necessarily logically implied by $\Gamma$ but whose addition to $\Gamma
Externí odkaz:
http://arxiv.org/abs/2211.12456
We explore the Collatz conjecture and its variants through the lens of termination of string rewriting. We construct a rewriting system that simulates the iterated application of the Collatz function on strings corresponding to mixed binary-ternary r
Externí odkaz:
http://arxiv.org/abs/2105.14697
Autor:
YOLCU, Emre1 emreyolcu@kafkas.edu.tr
Publikováno v:
International Journal of Turkish Literature, Culture, Education. mar2024, Vol. 13 Issue 1, p278-287. 10p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Theory and Applications of Satisfiability Testing – SAT 2020
Mycielski graphs are a family of triangle-free graphs \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::5072cebef1ea999abc769f592f7af155
http://europepmc.org/articles/PMC7326559
http://europepmc.org/articles/PMC7326559
Autor:
YOLCU, Emre
Publikováno v:
RumeliDE Journal of Language & Literature Research / RumeliDE Dil ve Edebiyat Araştırmaları Dergisi; Feb2023, Vol. 2023 Issue 32, p559-569, 11p
Autor:
YOLCU, Emre
Publikováno v:
BUGU Journal of Language & Education / BUGU Dil ve Eğitim Dergisi; 2022, Vol. 3 Issue 4, p379-393, 15p
Autor:
YOLCU, Emre
Publikováno v:
Issue: 14 189-211
Doğu Esintileri
Doğu Esintileri
Ahmet Hamdi Tanpınar, eserlerinde işlediği farklı konular, estetik dil anlayışı ve etkileyici kurgusal yapı ile bugün bile güncelliğini koruyan bir kültür ansiklopedisi olarak değerlendirilmektedir. Daha çok bir romancı ve fikir adam
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=tubitakulakb::5fda058e668f2f44285707f88d00dc79
https://dergipark.org.tr/tr/pub/dogu/issue/60348/825854
https://dergipark.org.tr/tr/pub/dogu/issue/60348/825854