Login / Signup
PSEUDO BOOLEAN
2005
2007
2009
2011
2013
2015
2017
2019
2021
2023
2005
2024
Experts
</>
Jakob Nordström
Karem A. Sakallah
Stephan Gocht
Dusan Knop
Albert Oliveras
Ruben Martins
Marek Piotrów
Enric Rodríguez-Carbonell
Stéphane Vialette
Jordi Coll
Fadi A. Aloul
Miquel Bofill
Peter Nightingale
Igor L. Markov
Jan Elffers
Miyuki Koshimura
Josep Suy
Robert Nieuwenhuis
Guillaume Fertin
Sébastien Angibaud
Mateu Villaret
Hiroshi Fujita
Vasco M. Manquinho
Michal Karpinski
Ignasi Abío
Bart Bogaerts
Tendai Mapungwana Chikake
Irena Rusu
Aolong Zha
Olivier Roussel
Felix Ulrich-Oltean
Jan Arne Telle
Amir Aavani
Jo Devriendt
Marcin Wrochna
Yu Lin-Kriz
Olivier Bailleux
Peter Steinke
Sigve Hortemo Sæther
1
2
3
4
5
…
21
Venues
</>
CoRR
SAT
CP
IJCAI
IEEE Trans. Computers
AAAI
J. Satisf. Boolean Model. Comput.
Comput. Oper. Res.
Constraints An Int. J.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
DAC
ICTAI
DATE
Oper. Res.
Discret. Appl. Math.
FOCS
Eur. J. Oper. Res.
J. Comput. Biol.
Ann. Oper. Res.
J. Comb. Optim.
ECAI
ICCAD
NFM
IEEE ACM Trans. Comput. Biol. Bioinform.
Artif. Intell. Rev.
FMCAD
ASP-DAC
BCB
Comput. J.
Appl. Math. Comput.
ICIC (1)
ISIT
KI
Bioinform.
RECOMB-CG
Artif. Intell.
J. Artif. Intell. Res.
GECCO
INFORMS J. Comput.
1
2
3
4
5
6
Related Topics
</>
knowledge base
pattern matching
quantified boolean formulas
computational efficiency
mental models
scheduling problem
modal logic
timetabling problem
search heuristics
associative memory
grid points
network nodes
missing data
probabilistic model
artificial intelligence
differential equations
step by step instructions
brain tumors
real world
jigsaw puzzle
exact penalty
exact solution
directed graph
temporal planning
categorical data
pseudo boolean
Related Keywords
</>
pseudo boolean
boolean satisfiability
boolean optimization
pseudo boolean constraints
propositional satisfiability
integer linear programming
satisfiability problem
combinatorial optimization
linear inequalities
constraint satisfaction
Popularity
</>
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
2
4
6
8
10
12
14
16
18
20
22
24
26
8
14
14
10
14
11
9
15
12
11
11
10
15
21
14
23
24
23
20
14
Popularity Trend
</>
0%