„SAT solving“

Suchergebnisse

1.000+ Treffer

• Solving intuitionistic fuzzy transportation problem using linear programming
  Kour, Dalbinder ; Mukherjee, Sathi ; Basu, Kajla
• SAT and Interactions (Dagstuhl Seminar 20061)
  Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, Cláudia
• Termination of Programs using Term Rewriting and SAT Solving
  Giesl, Jürgen ; Schneider-Kamp, Peter ; Thiemann, René ; Swiderski, Stephan ; Nguyen, Manh Thang ; De Schreye, Daniel ; Serebrenik, Alexander
• Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern Efficient Satisfiability Solving Algorithms for Test Pattern Generation
  Drechsler, Rolf ; Eggersglüß, Stephan ; Fey, Görschwin ; Schlöffel, Jürgen ; Tille, Daniel
• Regional Conference on Science, Technology and Social Sciences (RCSTSS 2014) – Business and Social Sciences
  Abdullah, Mohd Amli 2016 Springer Singapore
• Curation of myeloma observational study MALIMAR using XNAT: solving the challenges posed by real-world data
  Doran, Simon J. ; Barfoot, Theo ; Wedlake, Linda ; Winfield, Jessica M. ; Petts, James ; Glocker, Ben ; Li, Xingfeng ; Leach, Martin ; Kaiser, Martin ; Barwick, Tara D. ; Chaidos, Aristeidis ; Satchwell, Laura ; Soneji, Neil ; Elgendy, Khalil ; Sheeka, Alexander ; Wallitt, Kathryn ; Koh, Dow-Mu ; Messiou, Christina ; Rockall, Andrea G.
• Deep belief network for solving the image quality assessment in full reference and no reference model
  Muthusamy, Dharmalingam ; Sathyamoorthy, S.
• Solving k–SAT problems with generalized quantum measurement
  Zhang, Yipei ; Lewalle, Philippe ; Whaley, K. Birgitta
• Intuitionistic fuzzy entropy-based knowledge and accuracy measure with its applications in extended VIKOR approach for solving multi-criteria decision-making
  Singh, Amandeep ; Kumar, Satish
• Scalable SAT Solving and its Application
  Schreiber, Dominik Pascal ; Sanders, Peter ; Biere, Armin 2023 KIT-Bibliothek
• Restart strategies
  Lorenz, Jan-Hendrik 2021 Universität Ulm
• Recognition and Exploitation of Gate Structure in SAT Solving
  Iser, Markus ; Sinz, C. 2020 KIT-Bibliothek
• On solving real-algebraic formulas in a satisfiability-modulo-theories framework
  Loup, Ulrich ; Ábrahám, Erika ; Levandovskyy, Viktor ; Sturm, Thomas 2018 Universitätsbibliothek der RWTH Aachen
• Static termination analysis for prolog using term rewriting and SAT solving
  Schneider-Kamp, Peter 2008 RWTH, Fachgruppe Informatik
• Engineering stochastic local search for the satisfiability problem
  Balint, Adrian 2014 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Methodologies for solving Satellite Remote Sensing Problems using Neuro Computing Techniques
  Loyola Rodriguez, Diego G. 2013 Verlag Dr. Hut
• Integrated application of the geographic information system and remote sensing in solving hydrogeological and environmental problems in the central part of Ethiopia and its possible extensive future use
  Wagaw, Mezemir Fikre-Mariam 2003 Techn. Univ., Univ.-Bibliothek, Abt. Publ.
• Verification, Model Checking, and Abstract Interpretation – 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
  McMillan, Kenneth L. ; Rival, Xavier 2014 Springer International Publishing
• Hardware and Software: Verification and Testing – 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
  Biere, Armin ; Nahir, Amir ; Vos, Tanja 2014 Springer International Publishing
• Learning and Intelligent Optimization – 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers
  Pardalos, Panos M. ; Resende, Mauricio G. C. ; Vogiatzis, Chrysafis ; Walteros, Jose L. 2014 Springer International Publishing