Complexity of restricted variants of Skolem and related problems

Complexity of restricted variants of Skolem and related problems

Bibliographic Details
Main Authors:	Akshay, S, Balaji, N, Vyas, N
Format:	Conference item
Published:	Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017

Similar Items

On the Skolem problem and the Skolem conjecture
by: Lipton, RJ, et al.
Published: (2022)

The pseudo-Skolem Problem is decidable
by: D'Costa, J, et al.
Published: (2021)

On the Skolem problem and prime powers
by: Ouaknine, J, et al.
Published: (2020)

On the Skolem Problem for continuous linear dynamical systems
by: Ouaknine, J, et al.
Published: (2016)

On the skolem problem for continuous linear dynamical systems
by: Chonev, V, et al.
Published: (2016)

Universal skolem sets
by: Luca, F, et al.
Published: (2021)

Skolem meets Schanuel
by: Bilu, Y, et al.
Published: (2022)

SET-THEORY, SKOLEMS-PARADOX AND THE 'TRACTATUS'
by: Moore, A
Published: (1985)

Sequent calculus Sk4 for skolemized formulas
by: Andrejus Belovas, et al.
Published: (2005-12-01)

Towards skolemize clauses binding for reasoning in inference engine
by: Abdul Kadir, Rabiah, et al.
Published: (2007)

A universal Skolem set of positive lower density
by: Luca, F, et al.
Published: (2022)

Retrieving answers from multiple documents using semantic skolem indexing
by: Varathan, Kasturi Dewi, et al.
Published: (2011)

Intelligent information extraction using logical approach: skolemize clauses binding
by: Abdul Kadir, Rabiah, et al.
Published: (2008)

Intelligent information extraction using logical approach: Skolemize clauses binding
by: A.K, Rabiah, et al.
Published: (2008)

Skolem preprocessing using WordNet and lexicon in building effective knowledge representation
by: Varathan, Kasturi Dewi, et al.
Published: (2011)

The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions
by: Gottlob, G, et al.
Published: (2005)

THE RESTRICTED BURNSIDE PROBLEM
by: Vaughanlee, M
Published: (1985)

The restricted projection problems
by: Gan, Shengwen
Published: (2023)

Variantes terapéuticas del estrabismo restrictivo Therapeutic variants of restricted strabismus
by: María Cáceres Toledo, et al.
Published: (2009-12-01)

Iron restriction induces the small-colony variant phenotype in Staphylococcus aureus
by: Shariful Islam, et al.
Published: (2022-12-01)

Complexity of minesweeper with restricted number
by: Wu, Ray Hua
Published: (2018)

Bounds in the restricted Burnside problem
by: Vaughan-Lee, M, et al.
Published: (1999)

Enhancing the performance of quantum reservoir computing and solving the time-complexity problem by artificial memory restriction
by: Saud Čindrak, et al.
Published: (2024-01-01)

Complex continued fractions with restricted entries
by: Pawel Hanus, et al.
Published: (1998-10-01)

Endoscopic Management of a Complex Biliary Problem
by: Mayur G. Gattani, et al.
Published: (2023-03-01)

UPPER-BOUNDS IN THE RESTRICTED BURNSIDE PROBLEM
by: Vaughanlee, M, et al.
Published: (1993)

The General and restricted problems of three bodies/
by: Szebehely, Victor Groyzo, 1921-
Published: (1974)

On the perturbed restricted three-body problem
by: Abouelmagd Elbaz I., et al.
Published: (2016-01-01)

The complexity of the Kth largest subset problem and related problems
by: Haase, C, et al.
Published: (2015)

Complex tin ores and related problems
by: 375653 Abdullah Hasbi Hassan

Clinical and pathogenetic variants of fetal growth restriction with different periods of manifestation
by: I. S. Lipatov, et al.
Published: (2021-04-01)

Strategic Arms Restriction as a Factor of the Russian-American Relations in the XXI Century: Problems and Prospects
by: Pavel Borisovich Kartyshev
Published: (2018-04-01)

On Zel'manov's solution of the restricted Burnside problem
by: Vaughan-Lee, M
Published: (1998)

Periodic Solution of the restricted three body problem
by: MR Hassan, et al.
Published: (2013-12-01)

Theory of orbits : the restricted problem of three bodies/
by: Szebehely, Victor Groyzo, 1921-
Published: (1967)

Restricted Concave Kite Five-Body Problem
by: A. R. Kashif, et al.
Published: (2023-01-01)

Problems of Community Policing in Terms of Quarantine Restrictions
by: V. S. Seliukov, et al.
Published: (2021-03-01)

Repetitive and restricted behaviors and interests in autism spectrum disorder: relation to individual characteristics and mental health problems
by: Sara Jasim, et al.
Published: (2023-05-01)

On bounded complex Jacobi matrices and related moment problems in the complex plane
by: Sergey M. Zagorodnyuk
Published: (2023-06-01)

Computational complexity of some restricted instances of 3-SAT
by: Berman, P, et al.
Published: (2007)