The following pages link to Jordi Levy (Q309918):
Displaying 8 items.
- Generating SAT instances with community structure (Q309919) (← links)
- SAT-based MaxSAT algorithms (Q360042) (← links)
- Exploiting subproblem optimization in SAT-based maxsat algorithms (Q525063) (← links)
- Bi-rewrite systems (Q674746) (← links)
- Simplifying the signature in second-order unification (Q843951) (← links)
- Resolution for Max-SAT (Q1028942) (← links)
- On the relation between context and sequence unification (Q1034550) (← links)
- Rewriting Techniques and Applications (Q5901562) (← links)
