Publikationsdetails

Zitat:	Luca Pulina, Martina Seidl, "Journal on Satisfiability, Boolean Modeling and Computations: Special volume on SAT 2018 Competitions and Evaluations" , Serie JSAT, Vol. 11, IOS Press, 2019, ISSN: 1574-0617
Original Titel:	Journal on Satisfiability, Boolean Modeling and Computations: Special volume on SAT 2018 Competitions and Evaluations
Sprache des Titels:	Englisch
Veröffentlicher:	IOS Press
Serie:	JSAT
Volume:	11
Erscheinungsjahr:	2019
ISSN:	1574-0617
Reichweite:	international
Publikationstyp:	Wissenschaftliche Fachzeitschrift (Herausgeberschaft)
Autoren:	Luca Pulina, Martina Seidl
Forschungseinheiten:	Institut für Formale Modelle und Verifikation

Wissenschaftsgebiete:	Informatik (ÖSTAT:102) Artificial Intelligence (ÖSTAT:102001) Formale Sprachen (ÖSTAT:102011) Softwareentwicklung (ÖSTAT:102022) Theoretische Informatik (ÖSTAT:102031) Computer Hardware (ÖSTAT:202006) Logik (ÖSTAT:603109)

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum