Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Bishoksan Kafle

A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic

An iterative approach to precondition inference using constrained Horn clauses

article by Bishoksan Kafle et al published July 2018 in Theory and Practice of Logic Programming

ENTRA: Whole-systems energy transparency

scientific article published in November 2016

Paulina is supported by:

About Paulina

Help