Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yacine Boufkhad
A Translation of Pseudo-Boolean Constraints to SAT
Journal on Satisfiability, Boolean Modeling and Computation
Related publications
Characterization of Pseudo-Boolean Models by Boolean Models and Its Applications to Intermediate Logics
Publications of the Research Institute for Mathematical Sciences
Mathematics
Compact Quadratizations for Pseudo-Boolean Functions
Journal of Combinatorial Optimization
Control
Optimization
Combinatorics
Applied Mathematics
Discrete Mathematics
Computer Science Applications
Mathematics
Computational Theory
Efficient SAT-based Boolean Matching for FPGA Technology Mapping
Boolean Satisfiability With Transitivity Constraints
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Hierarchies of Local Monotonicities and Lattice Derivatives for Boolean and Pseudo-Boolean Functions
Nonmonotonic Reasoning With Quantified Boolean Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dominance Constraints With Boolean Connectives: A Model-Eliminative Treatment
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A SAT Approach to Branchwidth
Comparing Variants of MMAS ACO Algorithms on Pseudo-Boolean Functions
