Author of the publication

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT.

, , , and . J. Satisf. Boolean Model. Comput., 11 (1): 73-97 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Particle Swarm Based Evolution and Generation of Test Data Using Mutation Testing., , , , and . ICCSA (5), volume 9790 of Lecture Notes in Computer Science, page 585-594. Springer, (2016)Beacon Non-Transmission attack and its detection in intelligent transportation systems., , and . Internet Things, (2022)Approximation Strategies for Incomplete MaxSAT., , , and . CoRR, (2018)Test Suite Reduction by Mutation Testing Mapped to Set Cover Problem., , , and . ICTCS, page 36:1-36:6. (2016)EasyABM: a lightweight and easy to use heterogeneous agent-based modelling tool written in Julia., , , , , , and . CoRR, (2022)Quantum secured 6G technology-based applications in Internet of Everything., , , and . Telecommun. Syst., 82 (2): 315-344 (February 2023)Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT., , , and . J. Satisf. Boolean Model. Comput., 11 (1): 73-97 (2019)An Unconditionally Secured Privacy-Preserving Authentication Scheme for Smart Metering Infrastructure in Smart Grid., , and . IEEE Trans. Netw. Sci. Eng., 10 (2): 1085-1095 (March 2023)Bisindolemethane derivatives as highly potent anticancer agents: Synthesis, medicinal activity evaluation, cell-based compound discovery, and computational target predictions., , , , , and . Comput. Biol. Medicine, (2020)Detection of Brain Stroke using Electroencephalography (EEG)., , , , and . ICST, page 1-6. IEEE, (2019)