Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Alessandro Cimatti, Roberto Sebastiani
Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)
Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.)
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.)
Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Cimatti, Alessandro; Sirjani, Marjan
Archaeological Landscapes of Roman Etruria: Research and Field Papers: 1 (Medito - Archaeological and Historical Landscapes of Mediterranean Central Italy)
  • PDF
  • English
  • Year: 2021
  • Author: Carolina Megale (editor), Alessandro Sebastiani (editor)
Automated Reasoning
  • PDF
  • English
  • Year: 2018
  • Author: Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Learning to Quantify
  • PDF
  • English
  • Year: 2023
  • Author: Andrea Esuli, Alessandro Fabris, Alejandro Moreo, Fabrizio Sebastiani
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Cimatti (auth.), Jaco van de Pol, Michael Weber (eds.)
search