Login / Signup
Gerald Weidinger
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Normal Logic Programs
Fixpoint
Constraint Satisfaction
Sat Solvers
Top Venues
JELIA
</>
Publications
</>
Minh Dao-Tran
,
Thomas Eiter
,
Michael Fink
,
Gerald Weidinger
,
Antonius Weinzierl
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver.
JELIA
(2012)