Towards Conflict-Driven Learning for Virtual Substitution

Konstantin Korovin; Marek Kosta; Thomas Sturm

Conference Papers Year : 2014

Towards Conflict-Driven Learning for Virtual Substitution

(1) , (2) , (2)

1
2

Konstantin Korovin

Function : Author

University of Manchester [Manchester]

Marek Kosta

Function : Author

Modeling and Verification of Distributed Algorithms and Systems

Thomas Sturm

Function : Author
PersonId : 739828
IdHAL : thomas-sturm
ORCID : 0000-0002-8088-340X
IdRef : 154039659

Modeling and Verification of Distributed Algorithms and Systems

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

Stephan Merz : Connect in order to contact the contributor

https://hal.inria.fr/hal-01088450

Submitted on : Friday, November 28, 2014-9:10:27 AM

Last modification on : Thursday, December 22, 2022-10:14:42 AM

Dates and versions

hal-01088450 , version 1 (28-11-2014)

Identifiers

HAL Id : hal-01088450 , version 1

Cite

Konstantin Korovin, Marek Kosta, Thomas Sturm. Towards Conflict-Driven Learning for Virtual Substitution. Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, 2014, Warsaw, Poland. pp.256-270. ⟨hal-01088450⟩

Towards Conflict-Driven Learning for Virtual Substitution

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share