The following pages link to sgen1 (Q5406224):
Displaying 4 items.
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123) (← links)
- Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions (Q2828180) (← links)
- GenB: A General Solver for AGM Revision (Q2835903) (← links)
- MaxSAT Resolution and Subcube Sums (Q5875950) (← links)
