49 citations · 71 across the 13 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2011★ 1 cited
Solving the Satisfiability Problem Through Boolean Networks
Andrea Roli, Michela Milano
In this paper we present a new approach to solve the satisfiability problem (SAT), based on boolean networks (BN). We define a mapping between a SAT instance and a BN, and we solve…
cs.AI2011
Boolean network robotics: a proof of concept
Andrea Roli, Mattia Manfroni, Carlo Pinciroli +1
Dynamical systems theory and complexity science provide powerful tools for analysing artificial agents and robots. Furthermore, they have been recently proposed also as a source of…
cs.AI2007★ 2 cited
A preliminary analysis on metaheuristics methods applied to the Haplotype Inference Problem
Luca Di Gaspero, Andrea Roli
Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genotype. This i…