- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2090-9128
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Abd El-Maksoud, Munira A.
Abdalla, Areeg
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1186/s42787-019-0021-1
- URN
-
urn:nbn:de:101:1-2019122223212152920016
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
02.09.2693, 4:59 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Abd El-Maksoud, Munira A.
- Abdalla, Areeg
- SpringerLink (Online service)
Other Objects (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