<?xml version="1.0" encoding="US-ASCII"?>
<dblp>
<inproceedings key="conf/ismvl/AnsoteguiM03" mdate="2023-03-23">
<author>Carlos Ans&#243;tegui</author>
<author>Felip Many&#224;</author>
<title>New Logical and Complexity Results for Signed-SAT.</title>
<pages>181-187</pages>
<year>2003</year>
<crossref>conf/ismvl/2003</crossref>
<booktitle>ISMVL</booktitle>
<ee>https://doi.org/10.1109/ISMVL.2003.1201404</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/ISMVL.2003.1201404</ee>
<url>db/conf/ismvl/ismvl2003.html#AnsoteguiM03</url>
</inproceedings></dblp>
