Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints.
Toru NanbaTatsuhiro TsuchiyaTohru KikunoPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2012)
Keyphrases
- pairwise
- sat encodings
- linear programming problems
- integer program
- constrained problems
- finite domain
- satisfiability problem
- constraint satisfaction
- similarity function
- markov random field
- similarity measure
- constraint programming
- constrained optimization
- potential functions
- pairwise constraints
- lagrange multipliers
- loss function
- propositional logic
- optimization problems
- semi supervised
- davis putnam logemann loveland
- sat solving
- constraint problems
- pairwise similarities
- mixed integer program
- np complete
- logic programs
- computational complexity