Martin Suda
- SAT Competition 2020
2021/08/04 by Nils Froleyks, Marijn J. H. Heule, Marijn Heule +5 · 9 citations
Computer Science · #Constraint Satisfaction and Optimization #AI-based Problem Solving and Planning #Machine Learning and Algorithms
- Learning Guided Automated Reasoning: A Brief Survey
2024/03/06 by Lasse Blaauwbroek, David M. Cerna, Blaauwbroek, Lasse +11 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques #Neural and Evolutionary Computing (cs.NE) #Symbolic Computation (cs.SC)
- Planning Domain Model Acquisition from State Traces without Action Parameters
2024/02/16 by Tomáš Balyo, Balyo, Tomáš, Martin Suda +12 · 1 citation
Computer Science · Decision Sciences · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Complex Systems and Decision Making #FOS: Computer and information sciences