Talks.

Invited/Conference Talks

Visualizing High-Dimensional Random Boolean Formulas

MURI Meeting, October 2021 (invited)

"Quantum Inspired Perfect Matching Problems"

Recorded Talk for the Award, Nov 22, 2023
Stanford University, Sept 11, 2023
IJCAI 2023, Macau, Aug 25, 2023
Southeastern Louisiana University, Mar 21, 2023

"Searching Inside the Box: A Continuous-Local-Search Approach for Hybrid SAT Solving"

University of Toronto, Mar 19, 2024
Georgia Institute of Technology, Feb 9, 2024
National University of Singapore, May 19, 2023 (Singapore time)
UCLA, Nov. 23 , 2022
Simons Institute, Berkeley, Workshop of Theoretical Foundations of SAT/SMT Solving, March 17, 2021
"Hybrid SAT Solving by Continuous Optimization", MURI Meeting, Nov 20, 2020
Google X and The University of Texas at Austin, September 2021 (invited)

"On Continuous Local BDD-Based Search for Hybrid SAT Solving"

AAAI 2021, virtual conference, Feb, 2021

"FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints"

AAAI 2020 (session: Satisfiability), New York Feb 9, 2020

Group Meeting/Class Presentations

"Resolution and Conflict Driven Clause Learning"

"Computing Discrepancy (Based on Chuchu Fan's Thesis)"

"Visualizing High-Dimensional Boolean Functions"

"DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving

"Logical Neural Networks" (Based on the IBM Research paper)

"The Satisfiability Problem: A Brief Tutorial on SAT Algorithms"

"Correct-by-synthesis reinforcement learning with temporal logic constraints (Based on Min Wen's Thesis)"

"Hadamard-Walsh-Fourier Transform: History and applications"

"Solving Hybrid Boolean Constraints Continuously"

"Fourier Analysis on Boolean Functions and its Applications"

"Moser’s Algorithmic LLL"