Search filters

List of works by Martin Gebser

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs

article published in 2009

Detecting Inconsistencies in Large Biological Networks with Answer Set Programming

Engineering an Incremental ASP Solver

Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming

article published in 2013

GrinGo: A New Grounder for Answer Set Programming

Learning Boolean logic models of signaling networks with ASP

On the Input Language of ASP Grounder Gringo

Optimizing Dispatching Strategies for Semiconductor Manufacturing Facilities with Genetic Programming

scientific article published on 12 July 2023

The BioASP Library: ASP Solutions for Systems Biology

Paulina is supported by:

About Paulina

Help