Colors Make Theories Hard (Q2817916)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Colors Make Theories Hard	scientific article

Statements

scholarly article

0 references

Colors Make Theories Hard (English)

0 references

Roberto Sebastiani

0 references

Automated Reasoning

0 references

publication date

5 September 2016

0 references

full work available at URL

http://hdl.handle.net/11572/168325

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

Splitting on Demand in SAT Modulo Theories

0 references

The complexity of logical theories

0 references

M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures

0 references

0 references

More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding

0 references

A new polynomial-time algorithm for linear programming

0 references

Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant

0 references

Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic

0 references

Frontiers of Combining Systems

0 references

Simplification by Cooperating Decision Procedures

0 references

Fast Decision Procedures Based on Congruence Closure

0 references

Computer Aided Verification

0 references

Reasoning About Recursively Defined Data Structures

0 references

Complexity, convexity and combinations of theories

0 references

0 references

Colors Make Theories Hard

0 references

A Practical Decision Procedure for Arithmetic with Function Symbols

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-40229-1_11

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2817916

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2817916&oldid=36271308"