Renato Bruni

Available identifiers

zbMath Open bruni.renatoMaRDI QIDQ655182

List of research outcomes

Publication	Date of Publication	Type
Minimum-time spacecraft attitude motion planning using objective alternation in derivative-free optimization	2021-12-01	Paper
ILP models for the allocation of recurrent workloads upon heterogeneous multiprocessors	2020-01-03	Paper
Combining global and local strategies to optimize parameters in magnetic spacecraft control via attitude feedback	2019-06-07	Paper
Logical analysis of data as a tool for the analysis of probabilistic discrete choice behavior	2019-03-27	Paper
On exact and approximate stochastic dominance strategies for portfolio selection	2018-05-25	Paper
A robust optimization approach for magnetic spacecraft attitude stabilization	2017-10-27	Paper
A min-cut approach to functional regionalization, with a case study of the Italian local labour market areas	2016-07-08	Paper
A combinatorial optimization approach to the selection of statistical units	2015-10-22	Paper
A linear risk-return model for enhanced indexation in portfolio optimization	2015-08-03	Paper
Balancing of agricultural census data by using discrete optimization	2014-04-30	Paper
A combinatorial optimization approach for determining composition and sequence of polymers	2013-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q4924230	2013-05-31	Paper
A logic-based approach to polymer sequence analysis	2012-01-02	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability	2008-08-15	Paper
On the orthogonalization of arbitrary Boolean formulae	2008-07-01	Paper
Solving peptide sequencing as satisfiability	2008-06-12	Paper
Reformulation of the support set selection problem in the logical analysis of data	2008-03-31	Paper
Error correction for massive datasets	2005-09-21	Paper
On exact selection of minimally unsatisfiable subformulae	2005-05-13	Paper
Discrete models for data imputation	2004-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4473049	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4444470	2004-01-27	Paper
Approximating minimal unsatisfiable subformulae by means of adaptive core search	2003-09-15	Paper
A complete adaptive algorithm for propositional satisfiability	2003-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4786624	2002-12-17	Paper
Restoring satisfiability or maintaining unsatisfiability by finding small unsatisfiable subformulae	2001-09-24	Paper

Research outcomes over time

This page was built for person: Renato Bruni