Lynn Pickering

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Propositional Satisfiability

Variable Ordering

Top Venues

J. Symb. Comput.

Publications

Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. J. Symb. Comput. 123 (2024)
Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. CoRR (2023)
Lynn Pickering, Kelly Cohen
Genetic Fuzzy Controller for the Homicidal Chauffeur Differential Game. NAFIPS (2022)
Baptiste Courcier, Samuel Richard-Desjardins, Christophe Farges, Franck Cazaurang, Lynn Pickering, Javier Viaña Perez, Kelly Cohen
Genetic Fuzzy System for Pitch Control on a F-4 Phantom. NAFIPS (2022)
Lynn Pickering, Kelly Cohen
Toward Explainable AI - Genetic Fuzzy Systems - A Use Case. NAFIPS (2021)
Lynn Pickering, Kelly Cohen
Genetic Fuzzy Systems: Genetic Fuzzy Based Tetris Player. NAFIPS (2020)