Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.
Carlo A. FuriaPaola SpoletiniPublished in: ICTAC (2008)
Keyphrases
- multi task learning
- satisfiability problem
- np complete
- multitask learning
- floating point
- multiple task learning
- quantified boolean formulas
- phase transition
- propositional logic
- sat problem
- stochastic local search
- decision procedures
- multiple tasks
- learning problems
- learning tasks
- satisfiability testing
- real numbers
- lower bound
- integer arithmetic
- prior knowledge