- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: 10.1016/j.jsc.2023.102288
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2023
- Urheber
-
Nalbach, Jasper Kurt Ferdinand
Ábrahám, Erika
Specht, Philippe
Brown, Christopher W.
Davenport, James H.
England, Matthew
- DOI
-
10.18154/RWTH-2023-11847
- URN
-
urn:nbn:de:101:1-2024031302171971414451
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:46 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Nalbach, Jasper Kurt Ferdinand
- Ábrahám, Erika
- Specht, Philippe
- Brown, Christopher W.
- Davenport, James H.
- England, Matthew
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2023
Ähnliche Objekte (12)
Levelwise construction of a single cylindrical algebraic cell
Cylindrical algebraic decomposition for nonlinear arithmetic problems
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Exploiting strict constraints in the computation of cylindrical algebraic coverings
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Modular strategic SMT solving with SMT-RAT
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings
Integrating virtual substitution into strategic SMT solving
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
Levelwise construction of a single cylindrical algebraic cell
Cylindrical algebraic decomposition for nonlinear arithmetic problems
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Exploiting strict constraints in the computation of cylindrical algebraic coverings
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Modular strategic SMT solving with SMT-RAT
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings
Integrating virtual substitution into strategic SMT solving
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic
Levelwise construction of a single cylindrical algebraic cell
Cylindrical algebraic decomposition for nonlinear arithmetic problems
Exploiting Strict Constraints in the Cylindrical Algebraic Covering
Exploiting strict constraints in the computation of cylindrical algebraic coverings
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Modular strategic SMT solving with SMT-RAT
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings
Integrating virtual substitution into strategic SMT solving