References in zbMATH (referenced in 53 articles )

Showing results 1 to 20 of 53.
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. Inala, Jeevana Priya; Singh, Rohit; Solar-Lezama, Armando: Synthesis of domain specific CNF encoders for bit-vector solvers (2016)
  3. Velev, Miroslav: Formal verification of microprocessors. Automatic and scalable methods for pipelined, superscalar, and VLIW designs. (to appear) (2015) ioport
  4. Velev, Miroslav N. (ed.); Franco, John (ed.): Application of constraints to formal verification and artificial intelligence (2014)
  5. Audemard, Gilles; Lagniez, Jean-Marie; Simon, Laurent: Improving glucose for incremental SAT solving with assumptions: application to MUS extraction (2013)
  6. Gaspers, Serge; Szeider, Stefan: Backdoors to satisfaction (2012)
  7. Katebi, Hadi; Sakallah, Karem A.; Markov, Igor L.: Conflict anticipation in the search for graph automorphisms (2012)
  8. Abed, Sa’ed; Mokhtari, Yassine; Ait-Mohamed, Otmane; Tahar, Sofiène: NuMDG: a new tool for multiway decision graphs construction (2011)
  9. Katebi, Hadi; Sakallah, Karem A.; Marques-Silva, João P.: Empirical study of the anatomy of modern SAT solvers (2011)
  10. Sakallah, Karem A.; Marques-Silva, Joao: Anatomy and empirical evaluation of modern SAT solvers (2011)
  11. Velev, Miroslav N.; Gao, Ping: Exploiting abstraction for efficient formal verification of DSPs with arrays of reconfigurable functional units (2011) ioport
  12. Schulz, Sven; Blochinger, Wolfgang: Parallel SAT solving on peer-to-peer desktop grids (2010) ioport
  13. Srinivasan, Sudarshan K.: Optimization techniques for verification of out-of-order execution machines (2010) ioport
  14. Velev, Miroslav N.; Gao, Ping: Method for formal verification of soft-error tolerance mechanisms in pipelined microprocessors (2010) ioport
  15. Aloul, Fadi A.; Ramani, Arathi; Markov, Igor L.; Sakallah, Karem A.: Dynamic symmetry-breaking for Boolean satisfiability (2009)
  16. Sabharwal, Ashish: SymChaff: Exploiting symmetry in a structure-aware satisfiability solver (2009)
  17. Ansótegui, Carlos; Larrubia, Jose; Li, Chu-Min; Manyà, Felip: Exploiting multivalued knowledge in variable selection heuristics for SAT solvers (2007)
  18. 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)
  19. Goldberg, Eugene; Novikov, Yakov: BerkMin: A fast and robust SAT-solver (2007)
  20. Kautz, Henry; Selman, Bart: The state of SAT (2007)

1 2 3 next


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