Generalizing DPLL and satisfiability for equalities
| Autor: | Badban, Bahareh, van de Pol, Jaco, Tveretina, Olga, Zantema, Hans |
|---|---|
| Zdroj: | In Information and Computation 2007 205(8):1188-1211 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Badban, Bahareh, van de Pol, Jaco, Tveretina, Olga, Zantema, Hans |
|---|---|
| Zdroj: | In Information and Computation 2007 205(8):1188-1211 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect