Cited By
View all- Mikša MNordström J(2024)A Generalized Method for Proving Polynomial Calculus Degree Lower BoundsJournal of the ACM10.1145/367566871:6(1-43)Online publication date: 4-Jul-2024
- Cameron CHartford JLundy TTruong TMilligan AChen RLeyton-Brown K(2024)UNSAT Solver Synthesis via Monte Carlo Forest SearchIntegration of Constraint Programming, Artificial Intelligence, and Operations Research10.1007/978-3-031-60597-0_12(170-189)Online publication date: 25-May-2024
- Bian ZChudak FMacready WRoy ASebastiani RVarotti S(2020)Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary resultsInformation and Computation10.1016/j.ic.2020.104609275(104609)Online publication date: Dec-2020
- Show More Cited By