Vasco Manquinho

Vasco Manquinho

INESC-ID, Instituto Superior Técnico - Universidade de Lisboa
Dirección de correo verificada de inesc-id.pt
Citado por 2384
Boolean Optimization Maximum Satisfiability Pseudo-Boolean Satisfiability Multi-Objective Combinatorial Optimization
Jeremias Berg

Jeremias Berg

Academy Research Fellow, University of Helsinki
Dirección de correo verificada de helsinki.fi
Citado por 863
Artificial Intelligence Constraint Optimization Boolean Optimization Maximum Satisfiability
Saurabh Joshi

Saurabh Joshi

SupraOracles
Dirección de correo verificada de cse.iith.ac.in
Citado por 652
Formal Methods Constraint Programming Software Verification Maximum Satisfiability
Vu Hoang Nguyen Phan

Vu Hoang Nguyen Phan

Intel Corporation, Rice University
Dirección de correo verificada de rice.edu
Citado por 119
Propositional Logic Model Counting Maximum Satisfiability
Ole Lübke

Ole Lübke

Research Assistant, Hamburg University of Technology, Institute for Software Systems
Dirección de correo verificada de tuhh.de
Citado por 4
Maximum Satisfiability Real-Time Systems Formal Methods
Menghua Jiang

Menghua Jiang

South China Normal University
Citado por 1
Maximum Satisfiability