Generalizing DPLL and satisfiability for equalities
- 作者Bahareh Badban; Jaco van de Pol; Olga Tveretina; Hans Zantema
- 卷第205卷
- 期第8期
- 印刷ISSN0890-5401
- 电子ISSN1090-2651
- 文件大小209.30KB
- 发表时间2007
- DOI10.1016/j.ic.2007.03.003
- 页码1188-1211
同作者推荐
Distributed strategic interleaving with load balancingJ.A. Bergstra; C.A. Middelburg · 2008
Simulating Turing machines on Maurer machinesJ.A. Bergstra; C.A. Middelburg · 2008
Process algebra for hybrid systemsJ.A. Bergstra; C.A. Middelburg · 2005
Parallel Processes with Implicit Computational CapitalJ.A. Bergstra; C.A. Middelburg · 2008
A thread calculus with molecular dynamicsJ.A. Bergstra; C.A. Middelburg · 2010
Continuity controlled hybrid automataJ.A. Bergstra; C.A. Middelburg · 2006
Preferential choice and coordination conditionsJ.A. Bergstra; C.A. Middelburg · 2007