Publications related to Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Moment Semantics for Reversible Rule-Based Systems

Sandro Stucki

We develop a notion of stochastic rewriting over marked graphs – i.e. directed multigraphs with degree constraints. The approach is based on double-pushout (DPO) graph rewriting. Marked graphs are expressive enough to internalize the ‘no-dangling-edge’ con ...

Springer International Publishing2015

Majority Logic Representation and Satisfiability

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

Majority logic is a powerful generalization of common AND/OR logic. Original two-level and multi-level logic networks can use majority operators as primitive connective, in place of AND/ORs. In such a way, Boolean functions have novel means for compact rep ...

2014

Generating Fast Indulgent Algorithms

Rachid Guerraoui, Seth Gilbert, Dan Alistarh

Synchronous distributed algorithms are easier to design and prove correct than algorithms that tolerate asynchrony. Yet, in the real world, networks experience asynchrony and other timing anomalies. In this paper, we address the question of how to efficien ...

Springer Verlag2012

A Dual Algorithm for $ L _{ 1 } $ -Regularized Reconstruction of Vector Fields

Michaël Unser, Emrah Bostan, Pouya Dehghani Tafti

Recent advances in vector-field imaging have brought to the forefront the need for efficient denoising and reconstruction algorithms that take the physical properties of vector fields into account and can be applied to large volumes of data. With these req ...

IEEE2012

Generating Fast Indulgent Algorithms

Rachid Guerraoui, Seth Gilbert, Dan Alistarh

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Viktor Kuncak, Philippe Paul Henri Suter, Robin Steiger

Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier- ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

Springer2010

Building a Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Techniques such as verification condition generation, predicate abstraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Programs and their specifications often make use of data structures such as sets ...

Springer2010

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Graph Chatbot

Chat with Graph Search

Moment Semantics for Reversible Rule-Based Systems

Majority Logic Representation and Satisfiability

Algebraic algorithms for network information flow

Generating Fast Indulgent Algorithms

A Dual Algorithm for $ L _{ 1 } $ -Regularized Reconstruction of Vector Fields

Generating Fast Indulgent Algorithms

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Ordered Sets in the Calculus of Data Structures

Pre-Synthesis Optimization of Arithmetic Circuits

Building a Calculus of Data Structures

Building a Calculus of Data Structures

Generating Fast Indulgent Algorithms

Sets with Cardinality Constraints in Satisfiability Modulo Theories

A Dual Algorithm for $ L _{ 1 } $ -Regularized Reconstruction of Vector Fields

Ordered Sets in the Calculus of Data Structures

Pre-Synthesis Optimization of Arithmetic Circuits

Moment Semantics for Reversible Rule-Based Systems

Majority Logic Representation and Satisfiability

Algebraic algorithms for network information flow

Generating Fast Indulgent Algorithms