Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B F G H I J K L M N O S W Z

B
Balyo, Tomas	Dinosat: A SAT Solver with Native DNF Support
Bartel, Thomas	Dinosat: A SAT Solver with Native DNF Support
Beame, Paul	Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
Biere, Armin	Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
Bogaerts, Bart	Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
Bryant, Randal	TBUDDY: A Proof-Generating BDD Package Combining CDCL, Gauss-Jordan Elimination, and Proof Generation
F
Fleury, Mathias	Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
Fukiage, Tsubasa	DPS: A Framework for Deterministic Parallel SAT Solvers
G
Gocht, Stephan	Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
Grosof, Isaac	Towards the shortest DRAT proof of the Pigeonhole Principle
H
Heuer, Tobias	SATViz: Real-Time Visualization of Clausal Proofs
Heule, Marijn	Towards the shortest DRAT proof of the Pigeonhole Principle
Holzenkamp, Tim	SATViz: Real-Time Visualization of Clausal Proofs
I
Inoue, Katsumi	DPS: A Framework for Deterministic Parallel SAT Solvers
Iser, Markus	Calculating Sufficient Reasons for Random Forest Classifiers Dinosat: A SAT Solver with Native DNF Support SATViz: Real-Time Visualization of Clausal Proofs
J
Junosza-Szaniawski, Konstanty	Towards an Efficient CNF Encoding of Block Ciphers
K
Kaufmann, Daniela	Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
Kuryshev, Kevin	SATViz: Real-Time Visualization of Clausal Proofs
L
Lu, Xiao-Nan	DPS: A Framework for Deterministic Parallel SAT Solvers
M
McCreesh, Ciaran	Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
N
Nabeshima, Hidetomo	DPS: A Framework for Deterministic Parallel SAT Solvers
Nordstrom, Jakob	Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
O
Obitsu, Yuto	DPS: A Framework for Deterministic Parallel SAT Solvers
Oltmann, Thomas	SATViz: Real-Time Visualization of Clausal Proofs
S
Soos, Mate	Combining CDCL, Gauss-Jordan Elimination, and Proof Generation
W
Waszkiewicz, Daniel	Towards an Efficient CNF Encoding of Block Ciphers
Wäldele, Lucas	SATViz: Real-Time Visualization of Clausal Proofs
Z
Zhang, Naifeng	Towards the shortest DRAT proof of the Pigeonhole Principle
Zuber, Johann	SATViz: Real-Time Visualization of Clausal Proofs