Login / Signup
Absolute Asymmetric Synthesis Involving Chiral Symmetry Breaking in Diels-Alder Reaction.
Naohiro Uemura
Seiya Toyoda
Waku Shimizu
Yasushi Yoshida
Takashi Mino
Masami Sakamoto
Published in:
Symmetry (2020)
Keyphrases
</>
symmetry breaking
constraint programming
search tree
global constraints
quantified boolean formulae
integer linear programming
boolean satisfiability
constraint satisfaction problems
graph coloring
sat solvers
special case
constraint satisfaction
propositional satisfiability