المؤلفون: Bromberger, Martin, Jain, Chaahat, Weidenbach, Christoph

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Symbolic Computation, I.2.3

URL الوصول: http://arxiv.org/abs/2305.12926

المؤلفون: Bromberger, Martin, Leutgeb, Lorenz, Weidenbach, Christoph

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2305.05064

المؤلفون: Bromberger, Martin, Schwarz, Simon, Weidenbach, Christoph

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation

URL الوصول: http://arxiv.org/abs/2302.05954

المؤلفون: Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, González, Larry, Krötzsch, Markus, Marx, Maximilian, Murali, Harish K, Weidenbach, Christoph

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2201.09769

المؤلفون: Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, Krötzsch, Markus, Weidenbach, Christoph

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2107.03189

المؤلفون: Bromberger, Martin, Krasnopol, Florent, Möhle, Sibylle, Weidenbach, Christoph

المساهمون: Max Planck Institute for Informatics Saarbrücken, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: IJCAR 2024 - Automated Reasoning 12th International Joint Conference ; https://inria.hal.science/hal-04845238 ; IJCAR 2024 - Automated Reasoning 12th International Joint Conference, Jul 2024, Nancy, France. pp.133 - 153, ⟨10.1007/978-3-031-63498-7_9⟩

مصطلحات موضوعية: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Nancy, France

الاتاحة: https://inria.hal.science/hal-04845238
https://inria.hal.science/hal-04845238v1/document
https://inria.hal.science/hal-04845238v1/file/978-3-031-63498-7_9.pdf
https://doi.org/10.1007/978-3-031-63498-7_9

المؤلفون: Bromberger, Martin, Fiori, Alberto, Weidenbach, Christoph

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.0, F.3, I.1, I.2

URL الوصول: http://arxiv.org/abs/2003.04627

المؤلفون: Bromberger, Martin

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1804.07703

المؤلفون: Bromberger, Martin, Schwarz, Simon, Weidenbach, Christoph

المساهمون: Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Max Planck Institute for Informatics Saarbrücken

المصدر: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ; https://inria.hal.science/hal-04313819 ; Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Jun 2023, Manizales, Colombia. pp.48-22, ⟨10.29007/8BR1⟩

مصطلحات موضوعية: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Manizales, Colombia

الاتاحة: https://inria.hal.science/hal-04313819
https://inria.hal.science/hal-04313819v1/document
https://inria.hal.science/hal-04313819v1/file/Exploring_Partial_Models_with_SCL.pdf
https://doi.org/10.29007/8BR1

المؤلفون: Bromberger, Martin, Desharnais, Martin, Weidenbach, Christoph

المساهمون: VERIfication pour les systèmes DIStribués (VERIDIS), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Max Planck Institute for Informatics Saarbrücken

المصدر: Springer LNCS ; Automated Deduction - {CADE} 29 - 29th International Conference on Automated Deduction ; https://inria.hal.science/hal-04313741 ; Automated Deduction - {CADE} 29 - 29th International Conference on Automated Deduction, Jul 2023, Rome (IT), Italy. pp.116-133, ⟨10.1007/978-3-031-38499-8_7⟩

مصطلحات موضوعية: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Rome (IT), Italy

Relation: hal-04313741; https://inria.hal.science/hal-04313741; https://inria.hal.science/hal-04313741/document; https://inria.hal.science/hal-04313741/file/978-3-031-38499-8_7.pdf

الاتاحة: https://inria.hal.science/hal-04313741
https://inria.hal.science/hal-04313741/document
https://inria.hal.science/hal-04313741/file/978-3-031-38499-8_7.pdf
https://doi.org/10.1007/978-3-031-38499-8_7

المؤلفون: Bromberger, Martin, Leutgeb, Lorenz, Weidenbach, Christoph

المساهمون: Max Planck Institute for Informatics Saarbrücken, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: IJCAR 2022 - International Joint Conference in Automated Reasoning ; https://inria.hal.science/hal-03881893 ; IJCAR 2022 - International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.147-168, ⟨10.1007/978-3-031-10769-6_10⟩

مصطلحات موضوعية: Bernays-Schönfinkel Fragment, Linear Arithmetic, Redundancy Elimination, Subsumption, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

جغرافية الموضوع: Haifa, Israel

الاتاحة: https://inria.hal.science/hal-03881893
https://inria.hal.science/hal-03881893v1/document
https://inria.hal.science/hal-03881893v1/file/paper.pdf
https://doi.org/10.1007/978-3-031-10769-6_10

المؤلفون: Bromberger, Martin, Sturm, Thomas, Weidenbach, Christoph

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1503.02948

المؤلفون: Bromberger, Martin, Fiori, Alberto, Weidenbach, Christoph

المساهمون: Max Planck Institute for Informatics Saarbrücken, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Lecture Notes in Computer Science ; VMCAI 2021 - 22nd International Conference Verification, Model Checking, and Abstract Interpretation ; https://inria.hal.science/hal-03531893 ; VMCAI 2021 - 22nd International Conference Verification, Model Checking, and Abstract Interpretation, Jan 2021, Copenhagen/virtuel, Denmark. pp.511-533, ⟨10.1007/978-3-030-67067-2_23⟩

مصطلحات موضوعية: [INFO]Computer Science [cs]

جغرافية الموضوع: Copenhagen/virtuel, Denmark

Relation: hal-03531893; https://inria.hal.science/hal-03531893; https://inria.hal.science/hal-03531893/document; https://inria.hal.science/hal-03531893/file/papernolncs.pdf

الاتاحة: https://inria.hal.science/hal-03531893
https://inria.hal.science/hal-03531893/document
https://inria.hal.science/hal-03531893/file/papernolncs.pdf
https://doi.org/10.1007/978-3-030-67067-2_23

المؤلفون: Bromberger, Martin, Fleury, Mathias, Schwarz, Simon, Weidenbach, Christoph

المساهمون: Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Pascal Fontaine

المصدر: CADE-27 - The 27th International Conference on Automated Deduction ; https://inria.hal.science/hal-02405524 ; CADE-27 - The 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. pp.111-122, ⟨10.1007/978-3-030-29436-6_7⟩

مصطلحات موضوعية: Linear Arithmetic, Integer Arithmetic, SMT, Preprocessing, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Natal, Brazil

الاتاحة: https://inria.hal.science/hal-02405524
https://inria.hal.science/hal-02405524v1/document
https://inria.hal.science/hal-02405524v1/file/cade27spass.pdf
https://doi.org/10.1007/978-3-030-29436-6_7

المؤلفون: Bromberger, Martin, Sturm, Thomas, Weidenbach, Christoph

المساهمون: Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Saarland University Saarbrücken

المصدر: ISSN: 0747-7171.

مصطلحات موضوعية: Linear arithmetic, SMT, SAT, CDCL, Linear programming, Integer arithmetic, [INFO]Computer Science [cs], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-02397168; https://inria.hal.science/hal-02397168; https://inria.hal.science/hal-02397168/document; https://inria.hal.science/hal-02397168/file/authors_version.pdf

الاتاحة: https://inria.hal.science/hal-02397168
https://inria.hal.science/hal-02397168/document
https://inria.hal.science/hal-02397168/file/authors_version.pdf
https://doi.org/10.1016/j.jsc.2019.07.021

المؤلفون: Bromberger, Martin, Leutgeb, Lorenz, Weidenbach, Christoph

مصطلحات موضوعية: FOS: Computer and information sciences, Logic in Computer Science (cs.LO)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::03bf6643cf9d492cb46d8d5f659a771a

المؤلفون: Bromberger, Martin, Weidenbach, Christoph

المساهمون: Saarbrücken Graduate School of Computer Science, Université de la Sarre, Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Tim King and Ruzica Piskac

المصدر: 14th International Workshop on Satisfiability Modulo Theories
https://inria.hal.science/hal-01403214
14th International Workshop on Satisfiability Modulo Theories, 2016, Coimbra, Portugal. pp.15-30

مصطلحات موضوعية: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

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

الاتاحة: https://inria.hal.science/hal-01403214
https://inria.hal.science/hal-01403214v1/document
https://inria.hal.science/hal-01403214v1/file/SMT2016.pdf

المؤلفون: Bromberger, Martin, Weidenbach, Christoph

المساهمون: Saarbrücken Graduate School of Computer Science, Université de la Sarre, Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Nicola Olivetti and Ashish Tiwari

المصدر: Automated Reasoning - 8th International Joint Conference (IJCAR 2016) ; https://inria.hal.science/hal-01403200 ; Automated Reasoning - 8th International Joint Conference (IJCAR 2016), 2016, Coimbra, Portugal. pp.116-132, ⟨10.1007/978-3-319-40229-1_9⟩

مصطلحات موضوعية: Linear Arithmetic, SMT, Integer Arithmetic, Constraint Solving, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

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

الاتاحة: https://inria.hal.science/hal-01403200
https://inria.hal.science/hal-01403200v1/document
https://inria.hal.science/hal-01403200v1/file/IJCAR2016.pdf
https://doi.org/10.1007/978-3-319-40229-1_9

المؤلفون: Bromberger, Martin, Weidenbach, Christoph

المساهمون: Saarbrücken Graduate School of Computer Science, Université de la Sarre, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Max-Planck-Gesellschaft

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

مصطلحات موضوعية: linear arithmetic, SMT, integer arithmetic, constraint solving, equalities, combination of theories, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

الاتاحة: https://inria.hal.science/hal-01656397
https://inria.hal.science/hal-01656397v1/document
https://inria.hal.science/hal-01656397v1/file/paper.pdf
https://doi.org/10.1007/s10703-017-0278-7

المؤلفون: Bromberger, Martin

المساهمون: Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft, Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Saarland University, Christoph Weidenbach, Thomas Sturm, Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Logic in Computer Science [cs.LO]. Saarland University, 2019. English
Logic in Computer Science [cs.LO]. Saarland University, 2019. English. ⟨NNT : ⟩

مصطلحات موضوعية: linear arithmetic, résolution de contraintes, constraint solving, SMT, arithmétique linéaire, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], decision procedure, procédure de décision, automated reasoning, déduction automatique

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69a4faa16225f7c1982abd671406694d
https://hal.inria.fr/tel-02427371