1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/1807
Title: An Incremental Simplex Algorithm with Unsatisfiable Core Generation
Authors: Marić, Filip 
Spasić, Mirko 
Thiemann, René
Affiliations: Informatics and Computer Science 
Informatics and Computer Science 
Issue Date: 2018
Journal: Archive of Formal Proofs
URI: https://research.matf.bg.ac.rs/handle/123456789/1807
Appears in Collections:Research outputs

Show full item record

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.