most citedSuperconducting properties of doped blue phosphorene: Effects of non-adiabatic approach

12 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2024

An Encoding for CLP Problems in SMT-LIB

Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer

The input language for today's CHC solvers are commonly the standard SMT-LIB format, borrowed from SMT solvers, and the Prolog format that stems from Constraint-Logic Programming (…

cs.LO2022

OptiRica: Towards an Efficient Optimizing Horn Solver

Hossein Hojjat, Philipp Rümmer

This paper describes an ongoing effort to develop an optimizing version of the Eldarica Horn solver. The work starts from the observation that many kinds of optimization problems,…