Yacine Boufkhad

	2012
24		Yacine Boufkhad, Thomas Hugel: Estimating satisfiability. Discrete Applied Mathematics 160(1-2): 61-80 (2012)
	2011
23		Yacine Boufkhad, Olivier Dubois: Second moment method for a family of boolean CSP CoRR abs/1107.2737: (2011)
	2010
22		Yacine Boufkhad, Thomas Hugel: Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold. SAT 2010: 99-112
21		Thomas Hugel, Yacine Boufkhad: Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold CoRR abs/1002.1636: (2010)
20		Yacine Boufkhad, Thomas Hugel: Estimating Satisfiability CoRR abs/1005.4518: (2010)
19		Thomas Hugel, Yacine Boufkhad: Second Moment Method on k-SAT: a General Framework CoRR abs/1009.5588: (2010)
	2009
18		Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot: Fine Tuning of a Distributed VoD System. ICCCN 2009: 1-7
17		Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot: An upload bandwidth threshold for peer-to-peer Video-on-Demand scalability. IPDPS 2009: 1-10
16		Olivier Bailleux, Yacine Boufkhad, Olivier Roussel: New Encodings of Pseudo-Boolean Constraints into CNF. SAT 2009: 181-194
	2008
15		Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot: Achievable catalog size in peer-to-peer video-on-demand systems. IPTPS 2008: 4
14		Laurent Viennot, Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino: Scalable Distributed Video-on-Demand: Theoretical Bounds and Practical Algorithms CoRR abs/0804.0743: (2008)
	2006
13		Olivier Bailleux, Yacine Boufkhad, Olivier Roussel: A Translation of Pseudo Boolean Constraints to SAT. JSAT 2(1-4): 191-200 (2006)
	2005
12		Yacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman: Regular Random k-SAT: Properties of Balanced Formulas. J. Autom. Reasoning 35(1-3): 181-200 (2005)
	2004
11		Olivier Bailleux, Yacine Boufkhad: Full CNF Encoding: The Counting Constraints Case. SAT 2004
	2003
10		Olivier Bailleux, Yacine Boufkhad: Efficient CNF Encoding of Boolean Cardinality Constraints. CP 2003: 108-122
9		Olivier Dubois, Yacine Boufkhad, Jacques Mandler: Typical random 3-SAT formulae and the satisfiability threshold Electronic Colloquium on Computational Complexity (ECCC) 10(007): (2003)
8		Yacine Boufkhad, Olivier Dubois, Maurice Nivat: Reconstructing (h, v)-convex 2-dimensional patterns of objects from approximate horizontal and vertical projections. Theor. Comput. Sci. 290(3): 1647-1664 (2003)
	2002
7		Olivier Dubois, Yacine Boufkhad, Jacques Mandler: Typical random 3-SAT formulae and the satisfiability threshold CoRR cs.DM/0211036: (2002)
	2000
6		Yacine Boufkhad, Olivier Roussel: Redundancy in Random SAT Formulas. AAAI/IAAI 2000: 273-278
5		Olivier Dubois, Yacine Boufkhad, Jacques Mandler: Typical random 3-SAT formulae and the satisfiability threshold. SODA 2000: 126-127
	1999
4		Yacine Boufkhad, Olivier Dubois: Length of Prime Implicants and Number of Solutions of Random CNF Formulae. Theor. Comput. Sci. 215(1-2): 1-30 (1999)
	1998
3		Yacine Boufkhad: Algorithms for Propositional KB Approximation. AAAI/IAAI 1998: 280-285
	1997
2		Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais: Tractable Cover Compilations. IJCAI (1) 1997: 122-127
1		O. Dubios, Yacine Boufkhad: A General Upper Bound for the Satisfiability Threshold of Random r-SAT Formulae. J. Algorithms 24(2): 395-420 (1997)

Coauthor Index

1	Olivier Bailleux	[10] [11] [13] [16]
2	O. Dubios	[1]
3	Olivier Dubois	[4] [5] [7] [8] [9] [12] [23]
4	Éric Grégoire	[2]
5	Thomas Hugel	[19] [20] [21] [22] [24]
6	Yannet Interian	[12]
7	Jacques Mandler	[5] [7] [9]
8	Pierre Marquis	[2]
9	Fabien Mathieu	[14] [15] [17] [18]
10	Bertrand Mazure	[2]
11	Fabien de Montgolfier	[14] [15] [17] [18]
12	Maurice Nivat	[8]
13	Diego Perino	[14] [15] [17] [18]
14	Olivier Roussel	[6] [13] [16]
15	Lakhdar Sais	[2]
16	Bart Selman	[12]
17	Laurent Viennot	[14] [15] [17] [18]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page