On the existential theories of Büchi arithmetic and linear p-adic fields
We consider the complexity of the satisfiability problems for the existential fragment of Büchi arithmetic and for the existential fragment of linear arithmetic over p-adic fields. Our main results are that both problems are NP-complete. The NP upper bound for existential linear arithmetic over p-ad...
| প্রধান লেখক: | , , |
|---|---|
| বিন্যাস: | Conference item |
| প্রকাশিত: |
IEEE
2019
|