Contributions to the Domino Problem: Seeding, Recurrence and Satisfiability.
Nicolás BitarPublished in: STACS (2024)
Keyphrases
- satisfiability problem
- computational complexity
- data mining
- phase transition
- np complete
- real world
- artificial intelligence
- expert systems
- artificial neural networks
- knowledge representation
- optimal solution
- orders of magnitude
- database
- propositional logic
- computational properties
- decision procedures
- reasoning problems
- sat solving