IRobotiRobot est une entreprise américaine cotée au NASDAQ spécialisée dans la conception et la vente de robots. Créée par Colin Angle, Helen Greiner et Rodney Brooks en 1990, l'entreprise a été introduite en Bourse au NASDAQ en novembre 2005 sous le nom « IRBT ». En , iRobot annonce l'acquisition de Robopolis, entreprise lyonnaise qui assurait une grande partie de la distribution de ses produits en Europe, pour 143 millions de dollars. Le chiffre d'affaires 2018 dépasse le milliard de dollars, en augmentation de 23 % par rapport à l'année précédente.
Problème 2-SATEn informatique théorique, le problème 2-SAT est un problème de décision. C'est une restriction du problème SAT qui peut être résolu en temps polynomial, alors que le problème général est NP complet. Le problème 2-SAT consiste à décider si une formule booléenne en forme normale conjonctive, dont toutes les clauses sont de taille 2, est satisfaisable. De telles formules sont appelées 2-CNF ou formules de Krom. On considère des formules en forme normale conjonctive, c'est-à-dire que ce sont des ET de OU de littéraux (un littéral est une variable ou la négation d'une variable).
