Christos Karamanos

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 1

Top Topics

Search Strategies

Satisfiability Problem

Data Processing

Top Venues

Publications

Alexey Ignatiev, Zi Li Tan, Christos Karamanos
Towards Universally Accessible SAT Technology. SAT (2024)
Christos Karamanos, Nikitas M. Sgouros
Automating the Implementation of Games Based on Model-Driven Authoring Environments. ICEC (2012)