Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Yacine Boufkhad

dblp:75/5742 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Computational complexity
phase transition
0.012000
Typical random 3-SAT formulae and the satisfiability threshold · SODA 2000
Automated reasoning and model checking › satisfiability › random k-SAT
random 3-SAT
0.012000
Typical random 3-SAT formulae and the satisfiability threshold · SODA 2000
Automated reasoning and model checking
satisfiability
0.012000
Typical random 3-SAT formulae and the satisfiability threshold · SODA 2000
Computational complexity › phase transition
satisfiability threshold
0.012000
Typical random 3-SAT formulae and the satisfiability threshold · SODA 2000
Automated reasoning and model checking
knowledge compilation
0.011997
Tractable Cover Compilations · IJCAI (1) 1997
YearPublicationVenuePosition
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
SAT1
2009 Fine Tuning of a Distributed VoD System
abstract
In 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
ICCCN1
2009 An upload bandwidth threshold for peer-to-peer Video-on-Demand scalability
abstract
We 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
IPDPS1
2009 New Encodings of Pseudo-Boolean Constraints into CNF
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel
SAT2
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
SAT2
2003 Efficient CNF Encoding of Boolean Cardinality Constraints
Olivier Bailleux, Yacine Boufkhad
CP2
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
SODA2
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