SAT solving for variants of first-order subsumption

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
1 Online-Ressource.
Sprache
Englisch

Erschienen in
SAT solving for variants of first-order subsumption ; day:11 ; month:11 ; year:2024 ; pages:1-44
Formal methods in system design ; (11.11.2024), 1-44

Urheber
Coutelier, Robin
Rath, Jakob
Rawson, Michael
Biere, Armin
Kovács, Laura
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s10703-024-00454-1
URN
urn:nbn:de:101:1-2501282128598.368643195063
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:21 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Coutelier, Robin
  • Rath, Jakob
  • Rawson, Michael
  • Biere, Armin
  • Kovács, Laura
  • SpringerLink (Online service)

Ähnliche Objekte (12)

First-order logic

First-order logic

First-order logic

First-order logic

First-order dynamic logic

First-order dynamic logic

SAT solving with message passing

Hochschulschrift

SAT solving with message passing

Advanced Methods for SAT Solving

Advanced Methods for SAT Solving

SAT Solving mit GPU Unterstützung

SAT Solving mit GPU Unterstützung

SAT-Solving mit GPU-Unterstützung

SAT-Solving mit GPU-Unterstützung

First-order and second-order ambiguity aversion

Arbeitspapier

First-order and second-order ambiguity aversion

Scalable online first-order monitoring

Scalable online first-order monitoring

SAT Solving with GPU Accelerated Inprocessing

zweidimensionales bewegtes Bild

SAT Solving with GPU Accelerated Inprocessing

Symbolic Causality Checking Using SAT-Solving

Symbolic Causality Checking Using SAT-Solving

SAT solving with GPU accelerated inprocessing

SAT solving with GPU accelerated inprocessing

Verbundene Objekte