Bernardo Subercaseaux
Bernardo Subercaseaux
Affiliation: Carnegie Mellon University
Talks
(LCC)
The CNF Encoding Complexity of Boolean Functions and Non-Uniform Computation · Saturday afternoon 2
(PoS)
Coloring Queens with Thousands of Encodings · Session 6: Encodings
(SAT)
Near-Optimal Encodings of Cardinality Constraints · Session A: Encodings & Preprocessing
(CompBench)
Coloring Queens with Thousands of Encodings · Invited Talk
Pages in this Program
Program
Program on Saturday, 18 July 2026
LCC on Saturday, 18 July 2026
LCC Program
Program on Sunday, 19 July 2026
PoS on Sunday, 19 July 2026
PoS Program
Program on Monday, 20 July 2026
SAT on Monday, 20 July 2026
SAT Program
Program on Saturday, 25 July 2026
CompBench on Saturday, 25 July 2026
CompBench Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑