Artículo:

Propositional Satisfiability And Constraint Programming: A Comparative Survey

Autor:

Lucas Bordeaux

Youssef Hamadi

Lintao Zhang

Página:

12

Publicación:

ACM Computing Surveys

Volúmen:

38

Número:

4

Periodo:

2006

ISSN:

03600300

SrcID:

03600300-2006-04.txt