Pages that link to "Item:Q4933300"
From MaRDI portal
The following pages link to Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers (Q4933300):
Displaying 6 items.
- Optimized SAT encoding of conformance checking artefacts (Q2019685) (← links)
- Covering array EXtender (Q2242769) (← links)
- meSAT: multiple encodings of CSP to SAT (Q2342599) (← links)
- Construction of non-isomorphic covering arrays (Q3178165) (← links)
- aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming (Q3449196) (← links)
- Balanced covering arrays: A classification of covering arrays and packing arrays via exact methods (Q6187007) (← links)