| Publication | Date of Publication | Type |
|---|
Minimum-time spacecraft attitude motion planning using objective alternation in derivative-free optimization
Journal of Optimization Theory and Applications | 2021-12-01 | Paper |
ILP models for the allocation of recurrent workloads upon heterogeneous multiprocessors
Journal of Scheduling | 2020-01-03 | Paper |
Combining global and local strategies to optimize parameters in magnetic spacecraft control via attitude feedback
Journal of Optimization Theory and Applications | 2019-06-07 | Paper |
Logical analysis of data as a tool for the analysis of probabilistic discrete choice behavior
Computers & Operations Research | 2019-03-27 | Paper |
On exact and approximate stochastic dominance strategies for portfolio selection
European Journal of Operational Research | 2018-05-25 | Paper |
A robust optimization approach for magnetic spacecraft attitude stabilization
Journal of Optimization Theory and Applications | 2017-10-27 | Paper |
A min-cut approach to functional regionalization, with a case study of the Italian local labour market areas
Optimization Letters | 2016-07-08 | Paper |
A combinatorial optimization approach to the selection of statistical units
Journal of Industrial and Management Optimization | 2015-10-22 | Paper |
A linear risk-return model for enhanced indexation in portfolio optimization
OR Spectrum | 2015-08-03 | Paper |
Balancing of agricultural census data by using discrete optimization
Optimization Letters | 2014-04-30 | Paper |
A combinatorial optimization approach for determining composition and sequence of polymers
Algorithmic Operations Research | 2013-12-11 | Paper |
A formal procedure for finding contradictions into a set of rules
| 2013-05-31 | Paper |
A logic-based approach to polymer sequence analysis
JMMA. Journal of Mathematical Modelling and Algorithms | 2012-01-02 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
Discrete Optimization | 2008-08-15 | Paper |
On the orthogonalization of arbitrary Boolean formulae
Journal of Applied Mathematics and Decision Sciences | 2008-07-01 | Paper |
Solving peptide sequencing as satisfiability
Computers & Mathematics with Applications | 2008-06-12 | Paper |
Reformulation of the support set selection problem in the logical analysis of data
Annals of Operations Research | 2008-03-31 | Paper |
Error correction for massive datasets
Optimization Methods & Software | 2005-09-21 | Paper |
On exact selection of minimally unsatisfiable subformulae
Annals of Mathematics and Artificial Intelligence | 2005-05-13 | Paper |
Discrete models for data imputation
Discrete Applied Mathematics | 2004-11-12 | Paper |
scientific article; zbMATH DE number 2080329 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2033323 (Why is no real title available?)
| 2004-01-27 | Paper |
Approximating minimal unsatisfiable subformulae by means of adaptive core search
Discrete Applied Mathematics | 2003-09-15 | Paper |
A complete adaptive algorithm for propositional satisfiability
Discrete Applied Mathematics | 2003-06-10 | Paper |
scientific article; zbMATH DE number 1846894 (Why is no real title available?)
| 2002-12-17 | Paper |
Restoring satisfiability or maintaining unsatisfiability by finding small unsatisfiable subformulae
| 2001-09-24 | Paper |
