Article3011: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Tobias Philipp (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tobias |ErsterAutorNachname=Philipp }} {{Article |Referiert=1 |Title= Clause Simplifications in Search-Space Dec…“) |
Tobias Philipp (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 5: | Zeile 5: | ||
{{Article | {{Article | ||
|Referiert=1 | |Referiert=1 | ||
|Title= Clause Simplifications in Search-Space Decomposition-Based | |Title=Clause Simplifications in Search-Space Decomposition-Based SAT Solvers | ||
|To appear=0 | |To appear=0 | ||
|Year=2014 | |Year=2014 | ||
Version vom 11. Juni 2015, 14:00 Uhr
Clause Simplifications in Search-Space Decomposition-Based SAT Solvers
Tobias PhilippTobias Philipp
Tobias Philipp
Clause Simplifications in Search-Space Decomposition-Based SAT Solvers
7th European Starting AI Researcher Symposium (STAIRS), 264, Frontiers in Artificial Intelligence and Applications:211-219, 2014
Clause Simplifications in Search-Space Decomposition-Based SAT Solvers
7th European Starting AI Researcher Symposium (STAIRS), 264, Frontiers in Artificial Intelligence and Applications:211-219, 2014
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@article{P2014,
author = {Tobias Philipp},
title = {Clause Simplifications in Search-Space Decomposition-Based {SAT}
Solvers},
journal = {7th European Starting {AI} Researcher Symposium (STAIRS)},
volume = {264, Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
year = {2014},
pages = {211-219}
}
