Cited By
View all- Vavrille M(2023)A feature commonality-based search strategy to find high -wise covering solutions in feature modelsConstraints10.1007/s10601-023-09366-z28:4(521-548)Online publication date: 1-Dec-2023
- Lu LYang WPan MZhang T(2020)SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based SpecificationsProceedings of the 12th Asia-Pacific Symposium on Internetware10.1145/3457913.3457917(229-239)Online publication date: 1-Nov-2020
- Surynek P(2015)On the Complexity of Optimal Parallel Cooperative Path-FindingFundamenta Informaticae10.5555/2751306.2751310137:4(517-548)Online publication date: 1-Oct-2015
- Show More Cited By