Travelled to:1 × USA
Collaborated with:F.A.Aloul A.Ramani K.Sakallah D.Motter
Talks about:solver (2) sat (2) difficult (1) backtrack (1) symmetri (1) presenc (1) instanc (1) boolean (1) system (1) search (1)
Person: Igor Markov
DBLP: Markov:Igor
Contributed to:
2002Wrote 3 papers:
- SAT-2002-AloulRMS #satisfiability #symmetry
- Solving difficult SAT instances in the presence of symmetry (FAA, AR, IM, KS), p. 23.
- SAT-2002-AloulRMS1 #backtracking #named
- PBS: A backtrack-search psuedo-Boolean solver and optimizer (FAA, AR, IM, KS), p. 37.
- SAT-2002-MotterM #on the #performance #proving #satisfiability
- On proof systems behind efficient SAT solvers (DM, IM), p. 31.