Dependent and Independent Variables in Propositional Satisfiability

By ENRICO GIUNCHIGLIA, MARCO MARATEA and ARMANDO TACCHELLA

Publisher: 'Springer Science and Business Media LLC'

Year: 2002

DOI identifier: 10.1007/3-540-45757-7_25

OAI identifier: oai:iris.unige.it:11567/258604

Provided by: Archivio istituzionale della ricerca - Università di Genova

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

http://hdl.handle.net/11567/25... (external link)