TY  - JOUR
AU  - Nikita A. Protsenko
AU  - Vladimir V. Rybakov
AU  - Vitaliy V. Rimatskiy
TI  - Satisfiability problem in interval FP-logic
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2023
SP  - 98
EP  - 107
VL  - 44
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2023_44_a7/
LA  - en
ID  - IIGUM_2023_44_a7
ER  -