conftrace_

computer algebra

8 papers

Explore in graph

Also known as

CAS

Co-occurring keywords · papers mentioning both

combinatorial optimization (4) satisfiability solving (3) ramsey theory (2) differential equation (2) combinatorial search (2) ode symmetry (1) lie symmetry (1) orderly generation (1) certificate verification (1) matrix enumeration (1)

Papers

Discovering Symmetries of ODEs by Symbolic Regression AAAI 2025 Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems IJCAI 2025 A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) AAAI 2024 A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) AAAI 2024 A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem IJCAI 2024 A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples AAAI 2019 Algorithmic Linearly Constrained Gaussian Processes NeurIPS 2018 Estimating Mixture Models via Mixtures of Polynomials NeurIPS 2015