Beyond the Existential Theory of the Reals.
- Published in:
- Theory of Computing Systems, 2024, v. 68, n. 2, p. 195, doi. 10.1007/s00224-023-10151-x
- By:
- Publication type:
- Article
Works matching IS 14324350 AND DT 2024 AND VI 68 AND IP 2
Results: 5
1
2
New Results on the Remote Set Problem and Its Applications in Complexity Study.
- Published in:
- Theory of Computing Systems, 2024, v. 68, n. 2, p. 283, doi. 10.1007/s00224-024-10162-2
- By:
- Publication type:
- Article
3
On Non-principal Arithmetical Numberings and Families.
- Published in:
- Theory of Computing Systems, 2024, v. 68, n. 2, p. 271, doi. 10.1007/s00224-024-10165-z
- By:
- Publication type:
- Article
4
Farkas Bounds on Horn Constraint Systems.
- Published in:
- Theory of Computing Systems, 2024, v. 68, n. 2, p. 227, doi. 10.1007/s00224-023-10156-6
- By:
- Publication type:
- Article
5
Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs.
- Published in:
- Theory of Computing Systems, 2024, v. 68, n. 2, p. 250, doi. 10.1007/s00224-024-10161-3
- By:
- Publication type:
- Article