Daniel Le Berre

Daniel Le Berre

CRIL-CNRS Université d'Artois
Vahvistettu sähköpostiosoite verkkotunnuksessa cril.fr
Viittausten määrä 3875
Artificial Intelligence Boolean reasoning Boolean optimization SAT
Tomi Janhunen

Tomi Janhunen

Tampere University, Finland
Vahvistettu sähköpostiosoite verkkotunnuksessa tuni.fi
Viittausten määrä 2577
Artificial Intelligence Knowledge Representation Answer Set Programming Boolean Optimization
Vasco Manquinho

Vasco Manquinho

INESC-ID, Instituto Superior Técnico - Universidade de Lisboa
Vahvistettu sähköpostiosoite verkkotunnuksessa inesc-id.pt
Viittausten määrä 2360
Boolean Optimization Maximum Satisfiability Pseudo-Boolean Satisfiability Multi-Objective Combinatorial Optimization
Jeremias Berg

Jeremias Berg

Academy Research Fellow, University of Helsinki
Vahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi
Viittausten määrä 855
Artificial Intelligence Constraint Optimization Boolean Optimization Maximum Satisfiability
Sascha Mücke

Sascha Mücke

TU Dortmund University
Vahvistettu sähköpostiosoite verkkotunnuksessa tu-dortmund.de
Viittausten määrä 221
machine learning quantum computing boolean optimization ising models evolutionary optimization
Hannes Ihalainen

Hannes Ihalainen

Doctoral Researcher, University of Helsinki
Vahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi
Viittausten määrä 42
boolean optimization
Christoph Jabs

Christoph Jabs

Doctoral Researcher, University of Helsinki
Vahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi
Viittausten määrä 23
boolean optimization