Contributions to the analysis and design of an ADPLL

Autor:	Joubert, C., Bercher, Jean-François, Baudoin, G., Divel, T., Ramet, S., Level, P.
Přispěvatelé:	Laboratoire d'Informatique Gaspard-Monge (LIGM), Université Paris-Est Marne-la-Vallée (UPEM)-École des Ponts ParisTech (ENPC)-ESIEE Paris-Fédération de Recherche Bézout-Centre National de la Recherche Scientifique (CNRS), Bercher, Jean-François, Centre National de la Recherche Scientifique (CNRS)-Fédération de Recherche Bézout-ESIEE Paris-École des Ponts ParisTech (ENPC)-Université Paris-Est Marne-la-Vallée (UPEM)
Jazyk:	angličtina
Rok vydání:	2006
Předmět:	[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL] ComputingMilieux_MISCELLANEOUS [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Zdroj:	13th IEEE International Conference on Electronics, Circuits, and Systems (ICECS'06) 13th IEEE International Conference on Electronics, Circuits, and Systems (ICECS'06), 2006, France. pp.322-325
Popis:	International audience
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::13daefbaf9dd12b5b1a34f09fab62354 https://hal.archives-ouvertes.fr/hal-00621912 Zobrazit plný text záznamu