Optimal length cutting plane refutations of integer programs
K Subramani, P Wojciechowski - Discrete Optimization, 2023 - Elsevier
In this paper, we discuss the computational complexities of determining optimal length
refutations of infeasible integer programs (IPs). We focus on three different types of …
refutations of infeasible integer programs (IPs). We focus on three different types of …
On the Computational Complexities of Finding Selected Refutations of Linear Programs
K Subramani, P Wojciechowski - International Workshop on Combinatorial …, 2024 - Springer
In this paper, we establish the computational complexities of selected forms of refutations of
linear programs. Linear programming is in the complexity class P and hence, it must have …
linear programs. Linear programming is in the complexity class P and hence, it must have …
[图书][B] Analyzing Satisfiability and Refutability in Selected Constraint Systems
PJ Wojciechowski - 2019 - search.proquest.com
This dissertation is concerned with the satisfiability and refutability problems for several
constraint systems. We examine both Boolean constraint systems, in which each variable is …
constraint systems. We examine both Boolean constraint systems, in which each variable is …
[图书][B] a symbolic approach towards constraint based software verification
S Datta - 2011 - search.proquest.com
Verification and validation (V&V) are two components of the software engineering process
that are critical to achieve reliability that can account for up to 50% of the cost of software …
that are critical to achieve reliability that can account for up to 50% of the cost of software …
Constraint-based Software Verification of Program: What can be done?
S Datta, M Ceberio - 2010 - Citeseer
Verification and validation are two components of the software engineering process critical
to achieve reliability that can account for up to 50% of the cost of software development [1] …
to achieve reliability that can account for up to 50% of the cost of software development [1] …
Constraint Based Software Verification with Floating Point Numbers
S Datta, M Ceberio - 2010 - Citeseer
Software plays an important role in our lives. Verification and validation are two components
of the software engineering process critical to achieve reliability. Verification and validation …
of the software engineering process critical to achieve reliability. Verification and validation …