: A Tool to Transform Feature Models with Numerical Features and Arithmetic Constraints
Daniel-Jesús Munoz, Jeho Oh, Mónica Pinto, Lidia Fuentes, Don Batory
Topics & Concepts
Computer scienceConstraint satisfaction problemFeature (linguistics)Constraint (computer-aided design)Set (abstract data type)Constraint satisfactionKey (lock)Propositional calculusArithmeticTrue quantified Boolean formulaConjunctive normal formProduct termTheoretical computer sciencePropositional formulaBoolean data typeAlgorithmPropositional variableMathematicsArtificial intelligenceAlgebra over a fieldTwo-element Boolean algebraProgramming languageLinguisticsGeometryFiltered algebraPure mathematicsDescription logicPhilosophyIntermediate logicProbabilistic logicComputer securityBayesian Modeling and Causal InferenceAdvanced Database Systems and QueriesAdvanced Software Engineering Methodologies