%0 Journal Article
%A Nikita A. Protsenko
%A Vladimir V. Rybakov
%A Vitaliy V. Rimatskiy
%T Satisfiability problem in interval FP-logic
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2023
%P 98-107
%V 44
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2023_44_a7/
%G en
%F IIGUM_2023_44_a7