Counting workflow satisfiability with exclusion constraints based on backtracking tree-decomposition by Zhinian ZHAI, Weixiang WANG, Yahui LU, Mingwei WU, Zhijun ZHENG, Fahong YU

Subjects: Get full text

Runtime–Coherence Tradeoffs for Hybrid Satisfiability Solvers by Vahideh Eshaghian, Soren Wilkening, Johan Aberg, David Gross

Subjects: Get full text

On Some Approaches to the Solution of the Problem «Useful Proof-of-work for Blockchains» by Valeriy G. Durnev, Dmitry M. Murin, Valery A. Sokolov, Dmitry Ju. Chalyy

Subjects: Get full text

Design and detection of hardware Trojan based on satisfiability don't cares by Lingjuan WU, Jiacheng ZHU, Shibo TANG, Jing TAN, Wei HU

Subjects: Get full text

Defect Detection: Combining Bounded Model Checking and Code Contracts by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

Subjects: Get full text

Colored Multi-Agent Path Finding: Solving Approaches by Roman Barták, Marika Ivanová, Jiří Švancara

Subjects: “…path finding; multi agent; network flows; conflict-based search; boolean satisfiability…”
Get full text

Depex: A software for analysing and reasoning about vulnerabilities in software projects dependencies by Antonio Germán Márquez, Ángel Jesús Varela-Vaca, María Teresa Gómez López, José A. Galindo, David Benavides

Subjects: Get full text

Novel logic mining incorporating log linear approach by Siti Zulaikha Mohd Jamaludin, Nurul Atiqah Romli, Mohd Shareduwan Mohd Kasihmuddin, Aslina Baharum, Mohd. Asyraf Mansor, Muhammad Fadhil Marsani

Subjects: Get full text

SAT-based lazy formal analysis method for security protocols by Chun-xiang GU, Huan-xiao WANG, Yong-hui ZHENG, Dan XIN, Nan LIU

Subjects: Get full text

A Novel Minimization Method for Sensor Deployment Via Heuristic 2-Sat Solution by Waleed Ahmed, Ali Muhammad Ali Rushdi

Subjects: “…Boolean Satisfiability (SAT), Integer linear programming, Pseudo-Boolean SAT-Solvers, Sensor deployment…”
Get full text

MODELING MOVEMENT OF OBJECTS WITHOUT STOPS IN A NETWORK OF CROSSING ROUTES by I. V. Rubanov, M. S. Barketau, M. Y. Kovalyov

Subjects: Get full text

Satisfiability in intuitionistic fuzzy logic with realistic tautology by Ali Muhammad Rushdi, Muhammad Ali Rushdi, Mohamed Zarouan, Waleed Ahmad

Subjects: Get full text

Random Model Sampling: Making Craig Interpolation Work When It Should Not by Marat Akhin, Sam Kolton, Vladimir Itsykson

Subjects: Get full text

On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic by Anton Romanovich Gnatenko, Vladimir Anatolyevich Zakharov

Subjects: Get full text

Solving the K-subset summation problem based on twice quantum searching by YE Tianyu, WU Heng, GAN Zhigang

Subjects: Get full text

Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver by Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson

Subjects: Get full text

Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols by Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Andrzej Zbrzezny, Mirosław Kurkowski

Subjects: Get full text

Network moving target defense technique based on optimal forwarding path migration by Cheng LEI, Duo-he MA, Hong-qi ZHANG, Qi HAN, Ying-jie YANG

Subjects: Get full text

Bounded Model Checking of Dense-Timed Deontic Interpreted Systems: A Satisfiability Modulo Theories Approach by Bożena Woźna-Szcześniak, Ireneusz Szcześniak, Ireneusz Olszewski

Subjects: “…satisfiability modulo theories…”
Get full text

Assessing the Impact of Herzberg’s Two-Factor Motivation Theory on Job Satisfaction: A Study of Employees in the Punjab Healthcare Commission by Haider Jaffar, Aamir Jawad Munir, Malik Muhammad Waqas

Subjects: Get full text