Adding Decision Procedures to SMT Solvers Using Axioms with Triggers
- 期刊名称Journal of Automated Reasoning
- 作者Dross, Claire; Conchon, Sylvain; Kanig, Johannes; Paskevich, Andrei
- 卷第56卷
- 期第4期
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小1438.50KB
- 发表时间2016-4
- DOI10.1007/s10817-015-9352-2
- 页码387-457
-property of elementary abelian 3-groupsPablo Spiga · 2009
A calendar of meetingsGuest, Simon; Morris, Joy; Praeger, Cheryl E.; Spiga, Pablo · Trends in Biochemical Sciences · 1980
Twisted permutation codesGillespie, Neil I.; Praeger, Cheryl E.; Spiga, Pablo · Journal of Group Theory · 2015
Cayley graphs on abelian groupsDobson, Edward; Spiga, Pablo; Verret, Gabriel · Combinatorica · 2016
-TRANSITIVE DIGRAPHS PRESERVING A CARTESIAN DECOMPOSITIONMORRIS, JOY; SPIGA, PABLO · Journal of the Australian Mathematical Society · 2015
On graph-restrictive permutation groupsPrimož Potočnik; Pablo Spiga; Gabriel Verret · 2012
Balanced Cayley graphs and balanced planar graphsJoy Morris; Pablo Spiga; Kerri Webb · 2010
Compositions of n satisfying some coprimality conditionsDaniela Bubboloni; Florian Luca; Pablo Spiga · 2012
Tight Gaussian 4-DesignsEiichi Bannai; Etsuko Bannai · Journal of Algebraic Combinatorics · 2005
On Semi-Pseudo-OvoidsS. De Winter; J. A. Thas · Journal of Algebraic Combinatorics · 2005
The Tropical Totally Positive GrassmannianDavid Speyer; Lauren Williams · Journal of Algebraic Combinatorics · 2005
Subdivisions of Toric ComplexesMorten Brun; Tim Römer · Journal of Algebraic Combinatorics · 2005
Counting MonomialsMordechai Katzman · Journal of Algebraic Combinatorics · 2005
Cyclic Descents andP-PartitionsT. Kyle Petersen · Journal of Algebraic Combinatorics · 2005
ErratumJournal of Algebraic Combinatorics · 2005
Species Over a Finite FieldAnthony Henderson · Journal of Algebraic Combinatorics · 2005