- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2090-9128
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
A novel SAT solver for the Van der Waerden numbers ; volume:27 ; number:1 ; day:19 ; month:7 ; year:2019 ; pages:1-10 ; date:12.2019
Journal of the Egyptian Mathematical Society / Egyptian Mathematical Society ; 27, Heft 1 (19.7.2019), 1-10, 12.2019
- Urheber
-
Abd El-Maksoud, Munira A.
Abdalla, Areeg
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1186/s42787-019-0021-1
- URN
-
urn:nbn:de:101:1-2019122223212152920016
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 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
- Abd El-Maksoud, Munira A.
- Abdalla, Areeg
- SpringerLink (Online service)
Ähnliche Objekte (12)
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft Computing Approaches to DPLL SAT Solver Optimization
A Fast Parallel SAT-Solver - Efficient Workload Balancing
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
A continuous-time MaxSAT solver with high analog performance
A parallel portfolio SAT solver with lockless physical clause sharing
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses
Lattice Boltzmann solver for multiphase flows : application to high Weber and Reynolds numbers
One Solver to Rule All Feature Models — Or Not? : Addressing the Algorithm Selection Problem for #SAT
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft Computing Approaches to DPLL SAT Solver Optimization
A Fast Parallel SAT-Solver - Efficient Workload Balancing
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
A continuous-time MaxSAT solver with high analog performance
A parallel portfolio SAT solver with lockless physical clause sharing
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses
Lattice Boltzmann solver for multiphase flows : application to high Weber and Reynolds numbers
One Solver to Rule All Feature Models — Or Not? : Addressing the Algorithm Selection Problem for #SAT
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft Computing Approaches to DPLL SAT Solver Optimization
A Fast Parallel SAT-Solver - Efficient Workload Balancing
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
A continuous-time MaxSAT solver with high analog performance
A parallel portfolio SAT solver with lockless physical clause sharing
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses
Lattice Boltzmann solver for multiphase flows : application to high Weber and Reynolds numbers