Temat: "satisfiability solvers" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Evolutionary many-objective satisfiability solver for configuring software product lines
Autorzy:: Hou, YimouAff1, Aff2
Ouyang, DantongAff1, Aff2
Tian, XinliangAff1, Aff2
Zhang, LimingAff1, Aff2, IDs1048902102918x_cor4; Pokaż więcej
Źródło:: Applied Intelligence: The International Journal of Research on Intelligent Systems for Real Life Complex Problems. 52(9):10650-10673

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Going deeper with optimal software products selection using many-objective optimization and satisfiability solvers
Autorzy:: Xiang, Yi
Yang, Xiaowei
Zhou, Yuren
Zheng, Zibin
Li, Miqing
Huang, Han; Pokaż więcej
Źródło:: Empirical Software Engineering: An International Journal. 25(1):591-626

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Average Weight Based Branching Heuristic Strategy for Satisfiability Solvers
Autorzy:: Hu, Rong
Fu, Huimin
Li, Xiaolong; Pokaż więcej
Źródło:: Proceedings of 2017 Chinese Intelligent Systems Conference : Volume I. 459:73-80

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Security Margin Evaluation of SHA-3 Contest Finalists through SAT-Based Attacks
Autorzy:: Homsirikamol, Ekawat
Morawiecki, Paweł
Rogawski, Marcin
Srebrny, MarianAff20, Aff22; Pokaż więcej
Źródło:: Computer Information Systems and Industrial Management : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings. 7564:56-67

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Verifying the structure and behavior in UML/OCL models using satisfiability solvers
Autorzy:: Nils Przigoda
Mathias Soeken
Robert Wille
Rolf Drechsler; Pokaż więcej
Temat:: Unified Modeling Language
computability
formal verification
Boolean functions
Unified Modelling Language/Object Constraint Language model
satisfiability solvers
formal verification techniques
validation task
structural UML/OCL model
behavioural UML/OCL model
Boolean satisfiability
symbolic formulation
off-the-shelf solvers
Computer engineering. Computer hardware
TK7885-7895
Electronic computers. Computer science
QA75.5-76.95
Źródło:: IET Cyber-Physical Systems (2016)
Opis pliku:: electronic resource
Relacje:: https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2016.0022; https://doaj.org/toc/2398-3396
Dostęp URL:: https://doaj.org/article/adf3c01ba4234cd38f650515cc70597a Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A BMC-based formulation for the scheduling problem of hardware systems
Autorzy:: Cabodi, Gianpiero
Kondratyev, Alex
Lavagno, Luciano
Nocco, Sergio
Quer, Stefano
Watanabe, Yosinori; Pokaż więcej
Źródło:: International Journal on Software Tools for Technology Transfer. April 2005 7(2):102-117

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Are BDDs still alive within sequential verification?
Autorzy:: Cabodi, Gianpiero
Nocco, Sergio
Quer, Stefano; Pokaż więcej
Źródło:: International Journal on Software Tools for Technology Transfer. April 2005 7(2):129-142

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 9.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 10.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 11.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 12.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 13.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""satisfiability solvers"" wg kryterium: Temat

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język