References in zbMATH (referenced in 51 articles )

Showing results 1 to 20 of 51.
Sorted by year (citations)

1 2 3 next

  1. Gaspers, Serge; Ordyniak, Sebastian; Ramanujan, M. S.; Saurabh, Saket; Szeider, Stefan: Backdoors to q-Horn (2016)
  2. Velev, Miroslav: Formal verification of microprocessors. Automatic and scalable methods for pipelined, superscalar, and VLIW designs. (to appear) (2015)
  3. Velev, Miroslav N. (ed.); Franco, John (ed.): Application of constraints to formal verification and artificial intelligence (2014)
  4. Audemard, Gilles; Lagniez, Jean-Marie; Simon, Laurent: Improving glucose for incremental SAT solving with assumptions: application to MUS extraction (2013)
  5. Katebi, Hadi; Sakallah, Karem A.; Markov, Igor L.: Conflict anticipation in the search for graph automorphisms (2012)
  6. Abed, Sa’ed; Mokhtari, Yassine; Ait-Mohamed, Otmane; Tahar, Sofiène: NuMDG: a new tool for multiway decision graphs construction (2011)
  7. Katebi, Hadi; Sakallah, Karem A.; Marques-Silva, João P.: Empirical study of the anatomy of modern SAT solvers (2011)
  8. Sakallah, Karem A.; Marques-Silva, Joao: Anatomy and empirical evaluation of modern SAT solvers (2011)
  9. Velev, Miroslav N.; Gao, Ping: Exploiting abstraction for efficient formal verification of DSPs with arrays of reconfigurable functional units (2011)
  10. Schulz, Sven; Blochinger, Wolfgang: Parallel SAT solving on peer-to-peer desktop grids (2010)
  11. Srinivasan, Sudarshan K.: Optimization techniques for verification of out-of-order execution machines (2010)
  12. Velev, Miroslav N.; Gao, Ping: Method for formal verification of soft-error tolerance mechanisms in pipelined microprocessors (2010)
  13. Aloul, Fadi A.; Ramani, Arathi; Markov, Igor L.; Sakallah, Karem A.: Dynamic symmetry-breaking for Boolean satisfiability (2009)
  14. Sabharwal, Ashish: SymChaff: Exploiting symmetry in a structure-aware satisfiability solver (2009)
  15. Ansótegui, Carlos; Larrubia, Jose; Li, Chu-Min; Manyà, Felip: Exploiting multivalued knowledge in variable selection heuristics for SAT solvers (2007)
  16. Béjar, Ramón; Manyà, Felip; Cabiscol, Alba; Fernàndez, Cèsar; Gomes, Carla: Regular-SAT: A many-valued approach to solving combinatorial problems (2007)
  17. Goldberg, Eugene; Novikov, Yakov: BerkMin: A fast and robust SAT-solver (2007)
  18. Kautz, Henry; Selman, Bart: The state of SAT (2007)
  19. Sinz, Carsten: Visualizing SAT instances and runs of the DPLL algorithm (2007)
  20. Beyer, Sven; Jacobi, Christian; Kröning, Daniel; Leinenbach, Dirk; Paul, Wolfgang J.: Putting it all together-formal verification of the VAMP (2006)

1 2 3 next


Further publications can be found at: http://www.miroslav-velev.com/list_SAT_papers.html