English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Towards Conflict-driven Learning for Virtual Substitution

MPS-Authors
/persons/resource/persons127668

Košta,  Marek
Automation of Logic, MPI for Informatics, Max Planck Society;

/persons/resource/persons73108

Sturm,  Thomas
Automation of Logic, MPI for Informatics, Max Planck Society;

External Ressource

Link
(Any fulltext)

Fulltext (public)
There are no public fulltexts stored in PuRe
Supplementary Material (public)
There is no public supplementary material available
Citation

Korovin, K., Košta, M., & Sturm, T. (2014). Towards Conflict-driven Learning for Virtual Substitution. In P. Rümmer, & C. M. Wintersteiger (Eds.), 12th International Workshop on Satisfiability Modulo Theories (pp. 71-71). Aachen: CEUR-WS.org.


Cite as: http://hdl.handle.net/11858/00-001M-0000-0024-91EA-0
Abstract
There is no abstract available