Publication

Succinct ordering and aggregation constraints in algebraic array theories

Publications associées (35)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

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

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-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

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