Search results

Articles (4)

Journals (0)

1-4 of 4 results for SAT Modulo Theory

Sort by:

Relevance

Select all

Sort by:

Relevance

Open accessResearch articleFirst published June, 2014

Report on SL-COMP 2014

Mihaela Sighireanu, David R. Cok

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published August, 2006

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure 1

Martin Fränzle, Christian Herde, Tino Teige [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published August, 2006

Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic

Shuvendu K. Lahiri, Krishna K. Mehra

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published August, 2007

Lazy Satisfiability Modulo Theories

Roberto Sebastiani

Journal on Satisfiability,Boolean Modelling and Computation

Search results

Articles (4)

Journals (0)

1-4 of 4 results for SAT Modulo Theory

Sort by:

Relevance

Select all

Sort by:

Relevance

Open accessResearch articleFirst published June, 2014

Report on SL-COMP 2014

Mihaela Sighireanu, David R. Cok

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published August, 2006

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure 1

Martin Fränzle, Christian Herde, Tino Teige [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published August, 2006

Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic

Shuvendu K. Lahiri, Krishna K. Mehra

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published August, 2007

Lazy Satisfiability Modulo Theories

Roberto Sebastiani

Journal on Satisfiability,Boolean Modelling and Computation