12 citations
- Pasargad Institute for Advanced Innovative SolutionsIR4 papers
- Institute for Research in Fundamental SciencesIR2 papers
- University of RegensburgDE2 papers
- University of TehranIR2 papers
- UNSW SydneyAU2 papers
- Uppsala UniversitySE2 papers
- Amirkabir University of TechnologyIR1 paper
- Institute of Technology of CambodiaKH1 paper
- Khayyam UniversityIR1 paper
- Sharif University of TechnologyIR1 paper
- Sorbonne UniversitéFR1 paper
- The Korean Historical AssociationKR1 paper
Showing 2024Show all
2 papers · 1 filter
cond-mat.str-el2024
Hubbard Model on the Honeycomb Lattice with an Indefinite Long-Range Interaction
Mohammad-Sadegh Vaezi, Davoud Nasr Esfahani
Several studies have emphasized the impact of long-range Coulomb interactions in lattice fermions, yet conventional Auxiliary Field Quantum Monte Carlo (QMC) methods face limitatio…
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 (…