Concept
Backward chaining
Related publications (9)
Extending Boolean Methods for Scalable Logic Synthesis
Giovanni De Micheli, Mathias Soeken, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Eleonora Testa
In recent years, Boolean methods in logic synthesis have been drawing the attention of EDA researchers due to the continuous push to advance quality of results. Boolean methods require high computational cost, as they rely on complete functional properties ...
2020Chaining Mutual Information and Tightening Generalization Bounds
Bounding the generalization error of learning algorithms has a long history, which yet falls short in explaining various generalization successes including those of deep learning. Two important difficulties are (i) exploiting the dependencies between the h ...
NEURAL INFORMATION PROCESSING SYSTEMS (NIPS)2018metaSMT: focus on your application and not on solver integration
Many applications from artificial intelligence and formal methods use decision procedures as their core solving engines. In this context, automated reasoning based on Satisfiability (SAT) or Satisfiability Modulo Theories (SMT) is very effective. For a giv ...
Springer Verlag2017Towards automated inference of occupant behavioral dynamics using plug-load energy data
When building systems and occupants use energy, they create data—much of it unstructured and characterized as long running time series. Energy data captured at the plug level offers an opportunity not only to analyze highly granular building activities, bu ...
2017Splitting the Smoothed Primal-Dual Gap: Optimal Alternating Direction Methods
We develop rigorous alternating direction optimization methods for a prototype constrained convex optimization template, which has broad applications in computational sciences. We build upon our earlier work on the model-based gap reduction (MGR) technique ...
Tech. Report. LIONS-EPFL (2015)2015Multiple phase derivative estimation using autoregressive modeling in holographic interferometry
Pramod Rastogi, Rishikesh Dilip Kulkarni
A novel technique is proposed for the direct and simultaneous estimation of multiple phase derivatives from a deformation modulated carrier fringe pattern in a multi-wave holographic interferometry set-up. The fringe intensity is represented as a spatially ...
Institute of Physics2015New Data Structures and Algorithms for Logic Synthesis and Verification
The strong interaction between Electronic Design Automation (EDA) tools and Complementary Metal-Oxide Semiconductor (CMOS) technology contributed substantially to the advancement of modern digital electronics. The continuous downscaling of CMOS Field Effec ...
EPFL2015Bootstrapping phylogenies inferred from rearrangement data
Bernard Moret, Yu Lin, Vaibhav Rajan
Background: Large-scale sequencing of genomes has enabled the inference of phylogenies based on the evolution of genomic architecture, under such events as rearrangements, duplications, and losses. Many evolutionary models and associated algorithms have be ...
BioMed Central2012Counterexample-Guided Focus
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the corresponding program analyses here boils down to the question of the right ...
2010