English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 DetailsSummary
  Towards Conflict-driven Learning for Virtual Substitution

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.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-91EA-0 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-B778-C
Genre: Conference Paper

Files

show Files

Locators

show
hide
Locator:
Link (Any fulltext)
Description:
-
OA-Status:

Creators

show
hide
 Creators:
Korovin, Konstantin1, Author           
Košta, Marek2, Author           
Sturm, Thomas2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2014
 Publication Status: Published online
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: KorovinEtAl:2014b
 Degree: -

Event

show
hide
Title: 12th International Workshop on Satisfiability Modulo Theories
Place of Event: Vienna, Austria
Start-/End Date: 2014-07-17 - 2014-07-18

Legal Case

show

Project information

show

Source 1

show
hide
Title: 12th International Workshop on Satisfiability Modulo Theories
  Abbreviation : SMT 2014
  Subtitle : Vienna, Austria, July 17-18, 2014 ; Affliated with 26th Int'l. Conf. on Computer Aided Verifcation (CAV 2014), 7th Int'l Joint Conf. on Automated Reasoning (IJCAR 2014), and 17th Int'l Conf. on Theory and Applications of Satisfability Testing (SAT 2014)
Source Genre: Proceedings
 Creator(s):
Rümmer, Philipp1, Editor
Wintersteiger, Christoph M.1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: Aachen : CEUR-WS.org
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 71 - 71 Identifier: URN: urn:nbn:de:0074-1163-4

Source 2

show
hide
Title: CEUR Workshop Proceedings
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 1163 Sequence Number: - Start / End Page: - Identifier: ISSN: 1613-0073