Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SC²@ISSAC"( http://dblp.L3S.de/Venues/SC²@ISSAC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/issac

Publication years (Num. hits)
2017 (10)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
SC²@ISSAC(10)
Authors
Erika Ábrahám(2) Gereon Kremer(2) Matthew England 0001(2) Vijay Ganesh(2) Alberto Griggio(1) Anna Maria Bigatti(1) Deepak Kapur(1) James H. Davenport(1) Jan Horácek(1) Jasper Nalbach(1) John Abbott(1) Marc Moreno Maza(1) Martin Brain(1) Martin Kreuzer(1) Rui-Juan Jing(1) Stephen Forrest(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Rui-Juan Jing, Marc Moreno Maza Computing the Integer Points of a Polyhedron. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Stephen Forrest Integration of SMT-LIB Support into Maple. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Matthew England 0001, Vijay Ganesh Preface. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Martin Brain, James H. Davenport, Alberto Griggio Benchmarking Solvers, SAT-style. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Tarik Viehmann, Gereon Kremer, Erika Ábrahám Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Deepak Kapur Nonlinear Polynomials, Interpolants and Invariant Generation for System Analysis. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1John Abbott, Anna Maria Bigatti New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Matthew England 0001, Vijay Ganesh (eds.) Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Erika Ábrahám, Jasper Nalbach, Gereon Kremer Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Jan Horácek, Martin Kreuzer On Conversions from CNF to ANF. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license