<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

PolyQEnt: A Polynomial Quantified Entailment Solver

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 01 Jan 2025Publisher:Zenodo

Authors: Chatterjee, Krishnendu; Kafshdar Goharshady, Amir; Kafshdar Goharshady, Ehsan; Karrabi, Mehrdad; Saadat, Milad; Seeliger, Maximilian; Žikelić, Đorđe;

doi: 10.5281/zenodo.15387647 , 10.5281/zenodo.15323187 , 10.5281/zenodo.13960405 , 10.5281/zenodo.15297350 , 10.5281/zenodo.15382648 , 10.5281/zenodo.14772292

PolyQEnt: A Polynomial Quantified Entailment Solver

- Summary
- Related research
  (1)
- Metrics

Abstract

PolyQEnt is an open-source free solver for Polynomial Quantified Entailments (PQEs) available at github.com/ChatterjeeGroup-ISTA/PolyQEnt/ Given an input system of PQEs in SMT-LIB format and an optional config file, PolyQEnt finds a valuation of the unknown variables in the input such that all the PQEs are satisfied. The tool can be used in a standalone fashion by providing the system of PQEs in a .smt2 file, or by using the API provided by the python packages. The details can be found in the submitted artifact and the github repository. The artifact also contains details of how to run the experiments described in the paper.

Related Organizations

TU Wien
Austria
Singapore Management University
Singapore
Institute of Science and Technology Austria
Austria
Hong Kong Polytechnic University
China (People's Republic of)
Sharif University of Technology
Iran (Islamic Republic of)

1 Research products, page of 1

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average