Target counting with Presburger constraints and its application in sensor networks (Q5160798)
From MaRDI portal
scientific article; zbMATH DE number 7416991
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Target counting with Presburger constraints and its application in sensor networks |
scientific article; zbMATH DE number 7416991 |
Statements
Target counting with Presburger constraints and its application in sensor networks (English)
0 references
29 October 2021
0 references
model enumeration
0 references
Presburger arithmetic
0 references
target counting
0 references
sensor networks
0 references
computer modelling and simulation
0 references
mathematical modelling
0 references
computational mathematics
0 references
