University of Lleida - Cited by 3172 - Artificial Intelligence - Satisfiability
University of Lleida - Cité(e) 3 167 fois - Artificial Intelligence - Satisfiability
Program Visits ... The Simons Institute for the Theory of Computing is the world's leading venue for collaborative research in theoretical computer science.
Oct 22, 2024 · Carlos Ansótegui, Eduard Torres: Effectively computing high strength mixed covering arrays with constraints. J. Parallel Distributed Comput. 185: 104791 (2024)
Carlos ANSÓTEGUI | Cited by 1905 | of Universitat de Lleida, Lleida (UDL) | Read 97 publications | Contact Carlos ANSÓTEGUI.
Carlos Ansótegui is an academic researcher from University of Lleida. The author has contributed to research in topics: Boolean satisfiability problem ...
Logic Computability Heuristic function construction Design and analysis of algorithms Computations on polynomials Discrete mathematics Graph algorithms ...
Cuando descubres una de tus aficiones que te llevan acompañando mas de 40 años se convierte en tu oficio, junto con el de técnico de sonido, los sistemas ...