Journal: Theory Comput. Syst.

Volume 68, Issue 2

195 -- 226Marcus Schaefer 0001, Daniel Stefankovic. Beyond the Existential Theory of the Reals
227 -- 249K. Subramani 0001, Piotr Wojciechowki, Alvaro Velasquez. Farkas Bounds on Horn Constraint Systems
250 -- 270Hoàng-Oanh Le, Van Bang Le. Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs
271 -- 282Marat Kh. Faizrahmanov. On Non-principal Arithmetical Numberings and Families
283 -- 298Yijie Chen, Kewei Lv. New Results on the Remote Set Problem and Its Applications in Complexity Study