Tarek Khaled

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Answer Set Programming

Boolean Networks

Modulo Theories

Top Venues

LPAR (Workshop and Short Papers)

Ann. Math. Artif. Intell.

ICLP Technical Communications

Publications