Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers-Reference-Cited by-同舟云学术

Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers

Published:2010 Issue: Volume: Page:112-126
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Banbara Mutsunori,Matsunaka Haruki,Tamura Naoyuki,Inoue Katsumi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-16242-8_9

Reference34 articles.

1. de Kleer, J.: A comparison of ATMS and CSP techniques. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI 1989), pp. 290–296 (1989)

2. Lecture Notes in Computer Science;T. Walsh,2000

3. Kasif, S.: On the parallel complexity of discrete relaxation in constraint satisfaction networks. Artificial Intelligence 45(3), 275–286 (1990)

4. Gent, I.P.: Arc consistency in SAT. In: Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002), pp. 121–125 (2002)

5. Selman, B., Levesque, H.J., Mitchell, D.G.: A new method for solving hard satisfiability problems. In: Proceedings of the 10th National Conference on Artificial Intelligence (AAAI 1992), pp. 440–446 (1992)

Cited by 36 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Effectively computing high strength mixed covering arrays with constraints;Journal of Parallel and Distributed Computing;2024-03

2. Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays for Combinatorial Interaction Testing;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04

3. Balanced covering arrays: A classification of covering arrays and packing arrays via exact methods;Journal of Combinatorial Designs;2023-02-05

4. IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation;2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2022-09

5. Incomplete MaxSAT approaches for combinatorial testing;Journal of Heuristics;2022-08