Publication

Succinct ordering and aggregation constraints in algebraic array theories

Related publications (35)

Graph Chatbot

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.

Combinatory Array Logic with Sums

Rodrigo Raya

We prove an NP upper bound on a theory of integer-indexed integer-valued arrays that extends combi- natory array logic with an ordering relation on the index set and the ability to express sums of elements. We compare our fragment with seven other fragment ...

2023

Automating cutting planes is NP-hard

Mika Tapani Göös

We show that Cutting Planes (CP) proofs are hard to find: Given an unsatisfiable formula F, It is -hard to find a CP refutation of F in time polynomial in the length of the shortest such refutation; and unless Gap-Hitting-Set admits a nontrivial algorithm, ...

ACM2021

In Via Accidit

Alexandre Blanc, Marco Bakker

To share an event that happened or could have happen on the road in relation to architecture or space in a wider sense. ...

MANSLAB2020

Insertion device for inserting deformable prosthesis into an eye

Diego Ghezzi, Charles-Henri Puncho Jérôme Vila

An insertion device (100; 100') for inserting a retinal prosthesis (200) into the eye of a patient comprises: a handle portion (1; 1') arranged to be grasped by a user of the insertion device (100; 100'), a cannula element (12; 12') arranged to be inserted ...

2020

Prof. Laloui gave an interview with RTS about the status of geothermal energy in Switzerland in relation to its progression in other countries. Prof. Laloui discussed how the challenges associated with geothermal energy are primarily technical and how the ...

2018

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017

The concept of resilience has been applied within a wide spectrum of disciplines and has become increasingly relevant for interdisciplinary research. The interdisciplinary use of the concept can be linked to the fact that the conceptualization of resilienc ...

2017

The concept of resilience has been applied within a wide spectrum of disciplines and has become increasingly relevant for interdisciplinary research. The interdisciplinary use of the concept could be linked to the fact that the conceptualization of resilie ...

2017

Group-Sparse Model Selection: Hardness and Relaxations

Volkan Cevher, Anastasios Kyrillidis, Luca Baldassarre, Nirav Bhan

Group-based sparsity models are proven instrumental in linear regression problems for recovering signals from much fewer measurements than standard compressive sensing. The main promise of these models is the recovery of ``interpretable" signals along with ...

Institute of Electrical and Electronics Engineers2016

Marriage stability, taxation and aggregate labor supply in the U.S. vs. Europe

Serhiy Stepanchuk

Americans work more than Europeans. Using micro-data from the United States and 17 European countries, we document that women are typically the largest contributors to the cross-country differences in work hours. We also show that there is a negative relat ...

Elsevier Science Bv2015