A note on width-parameterized SAT: An exact machine-model characterization.
Periklis A. PapakonstantinouPublished in: Inf. Process. Lett. (2009)
Keyphrases
- probabilistic model
- mathematical model
- neural network
- real time
- management system
- probability distribution
- satisfiability problem
- process model
- theoretical framework
- computational model
- theoretical analysis
- graphical models
- data model
- prior knowledge
- evolutionary algorithm
- computational complexity
- search algorithm
- similarity measure
- high level
- data sets