Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms.
Davide BresolinFernando JiménezGracia SánchezGuido SciaviccoPublished in: FOGA (2013)
Keyphrases
- guarded fragment
- multi objective evolutionary algorithms
- first order logic
- cnf formula
- propositional formulas
- propositional logic
- conjunctive normal form
- satisfiability problem
- propositional variables
- propositional theories
- predicate calculus
- horn clauses
- multi objective
- sound and complete axiomatization
- np complete
- real numbers
- boolean formula
- multi objective optimization
- satisfiability testing
- multi valued
- computational properties
- sat problem
- nsga ii
- test problems
- logic programming
- logic programs
- multi criteria
- fitness function
- evolutionary algorithm
- truth values
- multiobjective optimization
- optimization algorithm
- modal logic
- differential evolution
- propositional satisfiability
- sat solvers
- knowledge compilation
- np hard
- optimal solution
- search algorithm