Complexity of restricted variants of Skolem and related problems

Complexity of restricted variants of Skolem and related problems

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Akshay, S, Balaji, N, Vyas, N
Formáid:	Conference item
Foilsithe / Cruthaithe:	Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017

Míreanna comhchosúla

On the Skolem problem and the Skolem conjecture
de réir: Lipton, RJ, et al.
Foilsithe / Cruthaithe: (2022)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
de réir: S. Akshay, et al.
Foilsithe / Cruthaithe: (2024-06-01)

The pseudo-Skolem Problem is decidable
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2021)

On the Skolem problem and prime powers
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2020)

On the skolem problem for continuous linear dynamical systems
de réir: Chonev, V, et al.
Foilsithe / Cruthaithe: (2016)

On the Skolem Problem for continuous linear dynamical systems
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2016)

Universal skolem sets
de réir: Luca, F, et al.
Foilsithe / Cruthaithe: (2021)

Skolem meets Schanuel
de réir: Bilu, Y, et al.
Foilsithe / Cruthaithe: (2022)

On strong Skolem starters for ℤpq
de réir: Adrián Vázquez-Ávila
Foilsithe / Cruthaithe: (2020-09-01)

SET-THEORY, SKOLEMS-PARADOX AND THE 'TRACTATUS'
de réir: Moore, A
Foilsithe / Cruthaithe: (1985)

Skolem Number of Cycles and Grid Graphs
de réir: Braxton Carrigan, et al.
Foilsithe / Cruthaithe: (2021-08-01)

Sequent calculus Sk4 for skolemized formulas
de réir: Andrejus Belovas, et al.
Foilsithe / Cruthaithe: (2005-12-01)

On Skolem odd and even difference mean graphs
de réir: Gee-Choon Lau, et al.
Foilsithe / Cruthaithe: (2018-04-01)

A universal Skolem set of positive lower density
de réir: Luca, F, et al.
Foilsithe / Cruthaithe: (2022)

Towards skolemize clauses binding for reasoning in inference engine
de réir: Abdul Kadir, Rabiah, et al.
Foilsithe / Cruthaithe: (2007)

Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic
de réir: Federico Aschieri, et al.
Foilsithe / Cruthaithe: (2012-10-01)

Intelligent information extraction using logical approach: skolemize clauses binding
de réir: Abdul Kadir, Rabiah, et al.
Foilsithe / Cruthaithe: (2008)

Retrieving answers from multiple documents using semantic skolem indexing
de réir: Varathan, Kasturi Dewi, et al.
Foilsithe / Cruthaithe: (2011)

Skolem preprocessing using WordNet and lexicon in building effective knowledge representation
de réir: Varathan, Kasturi Dewi, et al.
Foilsithe / Cruthaithe: (2011)

Graceful Labeling and Skolem Graceful Labeling on the U-star Graph and It’s Application in Cryptography
de réir: Meliana Pasaribu, et al.
Foilsithe / Cruthaithe: (2021-05-01)

Numerical-symbolic methods for searching relative equilibria in the restricted problem of four bodies
de réir: Alexander N. Prokopenya
Foilsithe / Cruthaithe: (2018-07-01)

The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2005)

Restricted Boltzmann Machine-Assisted Estimation of Distribution Algorithm for Complex Problems
de réir: Lin Bao, et al.
Foilsithe / Cruthaithe: (2018-01-01)

Variantes terapéuticas del estrabismo restrictivo Therapeutic variants of restricted strabismus
de réir: María Cáceres Toledo, et al.
Foilsithe / Cruthaithe: (2009-12-01)

The restricted projection problems
de réir: Gan, Shengwen
Foilsithe / Cruthaithe: (2023)

THE RESTRICTED BURNSIDE PROBLEM
de réir: Vaughanlee, M
Foilsithe / Cruthaithe: (1985)

Iron restriction induces the small-colony variant phenotype in Staphylococcus aureus
de réir: Shariful Islam, et al.
Foilsithe / Cruthaithe: (2022-12-01)

Complexity of minesweeper with restricted number
de réir: Wu, Ray Hua
Foilsithe / Cruthaithe: (2018)

Bounds in the restricted Burnside problem
de réir: Vaughan-Lee, M, et al.
Foilsithe / Cruthaithe: (1999)

Waring's problem with restricted digits
de réir: Green, B
Foilsithe / Cruthaithe: (2025)

Enhancing the performance of quantum reservoir computing and solving the time-complexity problem by artificial memory restriction
de réir: Saud Čindrak, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Endoscopic Management of a Complex Biliary Problem
de réir: Mayur G. Gattani, et al.
Foilsithe / Cruthaithe: (2023-03-01)

Complex continued fractions with restricted entries
de réir: Pawel Hanus, et al.
Foilsithe / Cruthaithe: (1998-10-01)

UPPER-BOUNDS IN THE RESTRICTED BURNSIDE PROBLEM
de réir: Vaughanlee, M, et al.
Foilsithe / Cruthaithe: (1993)

The General and restricted problems of three bodies/
de réir: Szebehely, Victor Groyzo, 1921-
Foilsithe / Cruthaithe: (1974)

The complexity of the Kth largest subset problem and related problems
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2015)

Effects of Radiation Pressure on the Elliptic Restricted Four-Body Problem
de réir: Sahar H. Younis, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Complex tin ores and related problems
de réir: 375653 Abdullah Hasbi Hassan

Nonmedical Uses of Antibiotics: Time to Restrict Their Use?
de réir: Richard William Meek, et al.
Foilsithe / Cruthaithe: (2015-10-01)

Clinical and pathogenetic variants of fetal growth restriction with different periods of manifestation
de réir: I. S. Lipatov, et al.
Foilsithe / Cruthaithe: (2021-04-01)