Generalizing DPLL and satisfiability for equalities
- Baharen Badban
- , Jaco van de Pol
- , Olga Tveretina
- , Hans Zantema
Research output: Contribution to journal › Article › peer-review
7
Citations
(Scopus)