المؤلفون: Coll Caballero, Jordi

المساهمون: University/Department: Universitat de Girona. Departament d'Informàtica, Matemàtica Aplicada i Estadística (2013-)

Thesis Advisors: Suy Franch, Josep, Villaret i Ausellé, Mateu

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Scheduling, Programació de tasques, Programación de tareas, Pseudo-Boolean constraints, Restricciones pseudo-booleanas, Restriccions pseudo-Booleanes, Satisfiability modulo theories, Satisfactibilitat mòdul teories, Satisfacibilidad módulo teorias

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/667963

المؤلفون: Espasa Arxer, Joan

المساهمون: University/Department: Universitat de Girona. Departament d'Informàtica, Matemàtica Aplicada i Estadística (2013-)

Thesis Advisors: Bofill Arasa, Miquel, Villaret i Ausellé, Mateu

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: SMT, Satisfiability modulo theories, Automated planning, Planificació automàtica, Planificación automática, Numeric planning, Planificació numèrica, Planificación numérica, Applied logic, Lògica aplicada, Lógica aplicada

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/666373

المؤلفون: Tuck, Victoria Marie, Chen, Pei-Wei, Fainekos, Georgios, Hoxha, Bardh, Okamoto, Hideki, Sastry, S Shankar, Seshia, Sanjit A

مصطلحات موضوعية: Information and Computing Sciences, Artificial Intelligence, Multi-Robot Task Allocation, Satisfiability Modulo Theories, Capacitated Robots, Incremental Solving, Cyber-Physical Systems, Robotics, Artificial Intelligence & Image Processing, Information and computing sciences

وصف الملف: application/pdf

URL الوصول: https://escholarship.org/uc/item/08z282p8
https://escholarship.org/content/qt08z282p8/qt08z282p8.pdf

المؤلفون: Suy Franch, Josep

المساهمون: University/Department: Universitat de Girona. Departament d'Informàtica, Matemàtica Aplicada i Estadística (2013-)

Thesis Advisors: Bofill Arasa, Miquel, Villaret i Ausellé, Mateu

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Constraint programming, Programació amb restriccions, Programación con restricciones, Satisfiability modulo theories, Satisfactibilitat mòdul teories, Satisfactibilidad módulo teorias, Reformulation, Reformulació, Reformulación, Metaconstraints, Metarestriccions, metarestricciones

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/98302

المؤلفون: Dieky Adzkiya, Muhammad Syifa'ul Mufid, Febrianti Silviana Saputri, Alessandro Abate

المصدر: Systems Science & Control Engineering, Vol 12, Iss 1 (2024)

مصطلحات موضوعية: Unicycle model, control synthesis, linear real arithmetic, satisfiability modulo theories, Control engineering systems. Automatic machinery (General), TJ212-225, Systems engineering, TA168

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2164-2583

URL الوصول: https://doaj.org/article/a6b6e25a9a6d4c0c88f1696630764c3a

المؤلفون: Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Andrzej Zbrzezny, Mirosław Kurkowski

المصدر: Applied Sciences, Vol 14, Iss 22, p 10333 (2024)

مصطلحات موضوعية: timed security protocols, multi-agent systems, timed interpreted systems, bounded model checking, satisfiability modulo theories, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2076-3417/14/22/10333; https://doaj.org/toc/2076-3417

URL الوصول: https://doaj.org/article/d26158a578204b63a90c016325d3a07e

المؤلفون: Tinelli, Cesare

المساهمون: Cesare Tinelli

مصطلحات موضوعية: Satisfiability Modulo Theories, Proof generation and certification

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 305, 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2024.2

الاتاحة: https://doi.org/10.4230/LIPIcs.SAT.2024.2
https://nbn-resolving.org/urn:nbn:de:0030-drops-205241
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2024.2

المؤلفون: Márquez Trujillo, Antonio Germán, Varela Vaca, Ángel Jesús, Gómez López, María Teresa, Galindo Duarte, José Ángel, Benavides Cuevas, David Felipe, Varela Vaca, Ángel Jesús (Coordinador), Ceballos Guerrero, Rafael (Coordinador), Reina Quintero, Antonia María (Coordinador)

المساهمون: Varela Vaca, Ángel Jesús, Ceballos Guerrero, Rafael, Reina Quintero, Antonia María, Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos

مصطلحات موضوعية: Seguridad, Vulnerabilidad, Análisis automático, Satisfiability Modulo Theories (SMT), Grafo de Dependencias, Desarrollo del software

Relation: Jornadas Nacionales de Investigación en Ciberseguridad (JNIC) (9ª.2024. Sevilla) (2024), pp. 448-449.; Sevilla; https://idus.us.es/handle//11441/161048

الاتاحة: https://idus.us.es/handle//11441/161048

المؤلفون: Bach, Jakob

مصطلحات موضوعية: subgroup discovery, alternatives, constraints, satisfiability modulo theories, explainability, interpretability, XAI, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004

Relation: https://publikationen.bibliothek.kit.edu/1000171166; https://doi.org/10.35097/caKKJCtoKqgxyvqG

الاتاحة: https://publikationen.bibliothek.kit.edu/1000171166
https://doi.org/10.35097/caKKJCtoKqgxyvqG

المساهمون: Pientka, Brigitte, Tinelli, Cesare

مصطلحات موضوعية: artificial intelligence, automata theory, Boolean functions, formal languages, formal logic, model checking, software engineering, automated theorem proving, software verification, logic programming, automated reasoning, automated deduction, propositional satisfiability, constraint solving, computer algebra, satisfiability modulo theories, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering

وصف الملف: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence

URL الوصول: https://library.oapen.org/handle/20.500.12657/76245

المؤلفون: Bach, Jakob

مصطلحات موضوعية: subgroup discovery, alternatives, constraints, satisfiability modulo theories, explainability, interpretability, XAI, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004

وصف الملف: application/pdf

Relation: https://publikationen.bibliothek.kit.edu/1000171285; https://publikationen.bibliothek.kit.edu/1000171285/152998228; https://doi.org/10.5445/IR/1000171285

الاتاحة: https://publikationen.bibliothek.kit.edu/1000171285
https://publikationen.bibliothek.kit.edu/1000171285/152998228
https://doi.org/10.5445/IR/1000171285

المؤلفون: Geatti L., Gianola A., Gigante N.

المساهمون: Alexander Artikis, Florian Bruse, Luke Hunsberger, Geatti, L., Gianola, A., Gigante, N.

مصطلحات موضوعية: Linear Temporal Logic, Satisfiability Modulo Theories

Relation: ispartofbook:30th International Symposium on Temporal Representation and Reasoning (TIME 2023); International Symposium on Temporal Representation and Reasoning (TIME); volume:278; firstpage:21; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; alleditors:Alexander Artikis, Florian Bruse, Luke Hunsberger; https://hdl.handle.net/11390/1266624; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85174143920

الاتاحة: https://hdl.handle.net/11390/1266624
https://doi.org/10.4230/LIPIcs.TIME.2023.21

المؤلفون: Guyet, Thomas

المساهمون: La pharmacologie des neurones et des astrocytes à l’aide des sciences du numérique (AISTROSIGHT), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre Hospitalier Lyon Sud CHU - HCL (CHLS), Hospices Civils de Lyon (HCL)-Hospices Civils de Lyon (HCL)-Theranexus Lyon -Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: Conference on Inductive Logic Programming (ILP) ; https://inria.hal.science/hal-04295035 ; Conference on Inductive Logic Programming (ILP), Nov 2023, Bari, Italy

مصطلحات موضوعية: Answer Set Programming, Satisfiability modulo theories, Timed sequences, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: Bari, Italy

Relation: hal-04295035; https://inria.hal.science/hal-04295035; https://inria.hal.science/hal-04295035/document; https://inria.hal.science/hal-04295035/file/Wed15_Invited_ILP_Guyet.pdf

الاتاحة: https://inria.hal.science/hal-04295035
https://inria.hal.science/hal-04295035/document
https://inria.hal.science/hal-04295035/file/Wed15_Invited_ILP_Guyet.pdf

المؤلفون: Maria Paola Bonacina

المساهمون: Alexander Nadel, Kristin Yvonne Rozier, Bonacina, Maria Paola

مصطلحات موضوعية: satisfiability modulo theories, quantifiers, satisfiability modulo assignment

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-85448-060-0; ispartofbook:Proceedings of the 23rd International Conference on Formal Methods in Computer-Aided Design; 23rd International Conference on Formal Methods in Computer-Aided Design; firstpage:1; lastpage:1; numberofpages:1; alleditors:Alexander Nadel, Kristin Yvonne Rozier; https://hdl.handle.net/11562/1112817; https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_1; https://repositum.tuwien.at/handle/20.500.12708/188675; https://mariapaola.github.io/

الاتاحة: https://hdl.handle.net/11562/1112817
https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_1
https://repositum.tuwien.at/handle/20.500.12708/188675
https://hdl.handle.net/20.500.12708/188675
https://mariapaola.github.io/

المؤلفون: Petersen, Erick, López, Jorge, Kushik, Natalia, Labonne, Maxime, Poletti, Claude, Zeghlache, Djamal

المساهمون: Institut Polytechnique de Paris (IP Paris), Département Réseaux et Services Multimédia Mobiles (TSP - RS2M), Institut Mines-Télécom Paris (IMT)-Télécom SudParis (TSP), Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing (ACMES-SAMOVAR), Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR), Institut Mines-Télécom Paris (IMT)-Télécom SudParis (TSP)-Institut Mines-Télécom Paris (IMT)-Télécom SudParis (TSP), Airbus France, Méthodes et modèles pour les réseaux (METHODES-SAMOVAR), Network Systems and Services (NeSS-SAMOVAR)

المصدر: Evaluation of Novel Approaches to Software Engineering. Revised Selected Papers. Communications in Computer and Information Science 1829 ; https://hal.science/hal-04537149 ; Evaluation of Novel Approaches to Software Engineering. Revised Selected Papers. Communications in Computer and Information Science 1829, 1829, Springer Nature Switzerland, pp.116-138, 2023, Communications in Computer and Information Science, 978-3-031-36597-3. ⟨10.1007/978-3-031-36597-3_6⟩

مصطلحات موضوعية: Model-based Design, Dynamic link Networks, Emulator, Many-sorted First Order Logic, Satisfiability Modulo Theories, [SCCO.COMP]Cognitive science/Computer science

Relation: hal-04537149; https://hal.science/hal-04537149; https://hal.science/hal-04537149/document; https://hal.science/hal-04537149/file/Dynamic_link_Network_Emulation_and_Validation_of_Execution_Data_Sets__SPLNCS_extended_version_%20%281%29.pdf

الاتاحة: https://hal.science/hal-04537149
https://hal.science/hal-04537149/document
https://hal.science/hal-04537149/file/Dynamic_link_Network_Emulation_and_Validation_of_Execution_Data_Sets__SPLNCS_extended_version_%20%281%29.pdf
https://doi.org/10.1007/978-3-031-36597-3_6

المؤلفون: Battista, Ludovico, Becchi, Anna, Basagiannis, Stylianos, Cimatti, Alessandro, Giantamidis, Georgios, Mover, Sergio, Tacchella, Alberto, Tonetta, Stefano, Tsachouridis, Vassilios

المساهمون: Fondazione Bruno Kessler Trento, Italy (FBK), Institut Polytechnique de Paris (IP Paris), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Département d'informatique de l'École polytechnique (X-DEP-INFO), École polytechnique (X)

المصدر: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
https://hal.science/hal-04184368
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2023, Porto, Portugal. pp.243-250, ⟨10.1109/DSN-W58399.2023.00063⟩

مصطلحات موضوعية: Satisfiability Modulo Theories, Stability, [INFO]Computer Science [cs]

جغرافية الموضوع: Porto, Portugal

Time: Porto, Portugal

Relation: hal-04184368; https://hal.science/hal-04184368; https://hal.science/hal-04184368/document; https://hal.science/hal-04184368/file/main.pdf

الاتاحة: https://hal.science/hal-04184368
https://hal.science/hal-04184368/document
https://hal.science/hal-04184368/file/main.pdf
https://doi.org/10.1109/DSN-W58399.2023.00063

المؤلفون: Fazekas, Katalin, Niemetz, Aina, Preiner, Mathias, Kirchweger, Markus, Szeider, Stefan, Biere, Armin

المساهمون: Katalin Fazekas and Aina Niemetz and Mathias Preiner and Markus Kirchweger and Stefan Szeider and Armin Biere

مصطلحات موضوعية: SAT, CDCL, Satisfiability Modulo Theories, Satisfiability Modulo Symmetries

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 271, 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2023.8

الاتاحة: https://doi.org/10.4230/LIPIcs.SAT.2023.8
https://nbn-resolving.org/urn:nbn:de:0030-drops-184709
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2023.8

المؤلفون: Siaulys, Kestutis

المساهمون: Maciejowski, Jan

مصطلحات موضوعية: 629.8, Model Predictive Control (MPC), Formal Methods, Quantifier Elimination, Cylindrical Algebraic Decomposition, Weispfenning's virtual term substitution, Satisfiability Modulo Theories (SMT), Robust Flight Control, Why3, MetiTarski, Exclusion Regions, Structured Singular Value, Explicit Model Predictive Control, Linear Temporal Logic, RECONFIGURE, Simulink

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.793007

المؤلفون: Amadini, Roberto

المساهمون: Amadini, Roberto

مصطلحات موضوعية: String Solving, String Analysis, Program Analysis, Satisfiability Modulo Theories, Constraint Programming

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000886932100016; volume:55; issue:1; firstpage:1; lastpage:38; numberofpages:38; journal:ACM COMPUTING SURVEYS; https://hdl.handle.net/11585/850408

الاتاحة: https://hdl.handle.net/11585/850408
https://doi.org/10.1145/3484198
https://dl.acm.org/doi/10.1145/3484198

المؤلفون: Cimatti, Alessandro, Griggio, Alberto, Mover, Sergio, Roveri, Marco, Tonetta, Stefano

المساهمون: Fondazione Bruno Kessler Trento, Italy (FBK), Institut Polytechnique de Paris (IP Paris), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), École polytechnique (X), Department of Information Engineering and Computer Science (DISI), Università degli Studi di Trento = University of Trento (UNITN)

المصدر: ISSN: 0925-9856.

مصطلحات موضوعية: Infinite-State Transition Systems, Formal Verification, Model Checking, Satisfiability Modulo Theories, Implicit Predicate Abstraction, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: hal-04465050; https://hal.science/hal-04465050; https://hal.science/hal-04465050/document; https://hal.science/hal-04465050/file/fmsd_vmt.pdf

الاتاحة: https://hal.science/hal-04465050
https://hal.science/hal-04465050/document
https://hal.science/hal-04465050/file/fmsd_vmt.pdf
https://doi.org/10.1007/S10703-023-00434-X