QCDCL with cube learning or pure literal elimination - What is best?
Benjamin BöhmTomás PeitlOlaf BeyersdorffPublished in: Artif. Intell. (2024)
Keyphrases
- learning algorithm
- learning process
- learning systems
- knowledge acquisition
- learning mechanism
- learning scheme
- incremental learning
- learning tasks
- empirical studies
- information systems
- training set
- reinforcement learning
- online learning
- image sequences
- case study
- search engine
- artificial intelligence
- real world
- inductive inference
- real time