Automated Reasoning on Feature Models

Notes on Numerical Fluid Mechanics and Multidisciplinary Design - United States
doi 10.1007/11431855_34
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach

2010English

On the Impact of Configuration on Abstract Argumentation Automated Reasoning

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2018English

Automated Reasoning for Web Page Layout

ACM SIGPLAN Notices
Computer Science
2016English

Automated Reasoning for Web Page Layout

2016English

Reasoning on UML Data-Centric Business Process Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automated Assume-Guarantee Reasoning Through Implicit Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Identifying Novel Drug Indications Through Automated Reasoning

PLoS ONE
Multidisciplinary
2012English

Models of Inductive Reasoning

2001English

Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy