Demo Data from VLDB 2026 / reviewers in the wild / expert
Yacine Boufkhad
dblp:75/5742
· DBLP profile ↗
12ranked-venue papers
8as first author
0since 2021 · last 2012
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 7 · 4 first-authorArtificial intelligence and machine learning · 6 · 3 first-authorSystems, architecture and hardware · 1 · 1 first-authorComputer networks · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Automated reasoning and model checking · 57% Computational complexity · 43% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Computational complexity
phase transition |
0.0 | 1 | 2000 | Typical random 3-SAT formulae and the satisfiability threshold · SODA 2000 |
Automated reasoning and model checking › satisfiability › random k-SAT
random 3-SAT |
0.0 | 1 | 2000 | Typical random 3-SAT formulae and the satisfiability threshold · SODA 2000 |
Automated reasoning and model checking
satisfiability |
0.0 | 1 | 2000 | Typical random 3-SAT formulae and the satisfiability threshold · SODA 2000 |
Computational complexity › phase transition
satisfiability threshold |
0.0 | 1 | 2000 | Typical random 3-SAT formulae and the satisfiability threshold · SODA 2000 |
Automated reasoning and model checking
knowledge compilation |
0.0 | 1 | 1997 | Tractable Cover Compilations · IJCAI (1) 1997 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2012 | Estimating satisfiability
Yacine Boufkhad, Thomas Hugel |
Discret. Appl. Math. | 1 |
| 2010 | Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold
Yacine Boufkhad, Thomas Hugel |
SAT | 1 |
| 2009 | Fine Tuning of a Distributed VoD SystemabstractIn a distributed Video-on-Demand system, customers are in charge of storing the video catalog, and they actively participate in serving video requests generated by other customers. The design of such systems is driven by key constraints like customer upload and storage capacities, video popularity distribution, and so on. In this paper, we analyze by simulations the impact of: i) the video allocation technique (used for distributed storage) ii) the use of a cache that allows nodes to redistribute the video they are using iii) the use of static/dynamic algorithms for video distribution. Based on these results, we provide some guidelines for setting the system parameters: the use of cache strongly improves system performance; popularity based allocation techniques can be sensitive and bring little improvement; dynamic distribution algorithms are needed only in extreme scenarios while static ones are generally sufficient. Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot |
ICCCN | 1 |
| 2009 | An upload bandwidth threshold for peer-to-peer Video-on-Demand scalabilityabstractWe consider the fully distributed video-on-demand problem, where n nodes called boxes store a large set of videos and collaborate to serve simultaneously n videos or less between them. It is said to be scalable when Omega (n) videos can be distributively stored under the condition that any sequence of demands for these videos can always be satisfied. Our main result consists in establishing a threshold on the average upload bandwidth of a box, above which the system becomes scalable. We are thus interested in the normalized upload capacity u = upload bandwidth/video bitrate of a box. The number m of distinct videos stored in the system is called its catalog size. We show an upload capacity threshold of 1 for scalability in a homogeneous system, where all boxes have the same upload capacity. More precisely, a system with u1, an homogeneous system where all boxes have same upload capacity at least u admits a static allocation of m = Omega (n) videos into the boxes such that any adversarial sequence of video demands can be satisfied. Moreover, such an allocation can be obtained randomly with high probability. This result is generalized to a system of boxes that have heterogeneous upload capacities under some balancing conditions. Yacine Boufkhad, Fabien Mathieu, Fabien de Montgolfier, Diego Perino, Laurent Viennot |
IPDPS | 1 |
| 2009 | New Encodings of Pseudo-Boolean Constraints into CNF
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel |
SAT | 2 |
| 2005 | Regular Random k-SAT: Properties of Balanced Formulas
Yacine Boufkhad, Olivier Dubois 0002, Yannet Interian, Bart Selman |
J. Autom. Reason. | 1 |
| 2004 | Full CNF Encoding: The Counting Constraints Case
Olivier Bailleux, Yacine Boufkhad |
SAT | 2 |
| 2003 | Efficient CNF Encoding of Boolean Cardinality Constraints
Olivier Bailleux, Yacine Boufkhad |
CP | 2 |
| 2003 | Reconstructing (h, v)-convex 2-dimensional patterns of objects from approximate horizontal and vertical projections
Yacine Boufkhad, Olivier Dubois 0002, Maurice Nivat |
Theor. Comput. Sci. | 1 |
| 2000 | Typical random 3-SAT formulae and the satisfiability threshold
Olivier Dubois 0002, Yacine Boufkhad, Jacques Mandler |
SODA | 2 |
| 1999 | Length of Prime Implicants and Number of Solutions of Random CNF Formulae
Yacine Boufkhad, Olivier Dubois 0002 |
Theor. Comput. Sci. | 1 |
| 1997 | Tractable Cover Compilations
Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais |
IJCAI (1) | 1 |